another attempt at fixing the travis-ci build