try to fix Travis CI.