Fix ART runtime in GCC 4.8