Google just revised the SDK to include Android 4.3 and version 18 of the build tools, even as I was experimenting. Let's see if these changes finally work...