workaround for travis-ci