Revert "switch to gcc-4.8"

This reverts commit 46057535ac8aed075eef7fc11420444f39cb7fe0.