No need for GCC 4.8