use ART by default

Change-Id: I65262441adc09176e65d02f65d299b6787c87867