slightly altered travis config