We need GCC 4.8.