Restoring travis-ci build (1st try).