Removed GCC 4.8-specific stuff