Fix ART for GCC 4.8