add workaround for travis-ci known issue #2510