force gcc-4.8 on travis