workaround for travis-ci.org