Revert "use ART by default"

This reverts commit df256083348a97e019c083c6f450c23bf902d91d.