Problems with drivers for Nexus 10 when building Android 4.3 from source
It seems that Google put the wrong drivers in their drivers web page for Nexus 10 for Android 4.3 (JWR66Y).  You can get the correct drivers from this page. For more details, see this post.