Downgrade gcc to 4.8