travis ci attempt at installing gcc 4.8