Attempt 2, Fixing travis-ci build issue, hopefully