Revert "switch to gcc-4.8"

This reverts commit c16df95d48df710d86f7fce35cdb7752dfcac61e.