Fixing travis-ci build issue, hopefully