Make sure gcc 4.8 is used when compiling in Travis