tweaking the travis config. probably got it wrong