Use ART as default