Adapted to Travis CI.