More tinkering with travis config