use GCC 4.8