install more recent gcc from a PPA for travis