using GCC 4.8 for Travis