try to fix Travis CI failing