Try to fix Travis CI build failure