minor change to travis-ci build