hopefully fixing travis ci build by this