Travis CI: workaround