Maybe this will get travis to use the right GCC?