another attempt at a correct travis config