And if you want a non-bugged, maintained, working version, with proper build system, known maintainers, go with this fork: http://robovm.mobidevelop.com
Yeah, looks like the libGDX maintainers made the same decision. They looked at BugVM and didn't like it, so they're on board with the mobidevelop fork as well as Intel's Multi-OS Engine.