FIx travis-ci build