use gcc4.8 for travis