Fix ART.

Stupid fix to get ART working. We use houdini anyway in Dalvik mode. ART unstable.