Use gcc-4.8, this time correctly.