* Fixes #556, forcing Ruboto to use HAXM for new emulator images, when available.