Revert "Update to gcc-4.8.0"

This reverts commit 94889e3cdfe88d724bf431bd7d3f83faf34e0449.