point to GCC 4.8, flag optimizations