fixed travis config, again?