Hopefully this fixes travis-ci build...