Revert "gcc 4.8"

This reverts commit f40f85606fbedab9da76a3fa95c7cc35d0ae663b.