Force use of gcc 4.8 for travis