Revert "Revert "switch to gcc-4.8""

This reverts commit 7f0df21dcd410cf4242ccbb76cd95ec2c5e13d34.