added workaround for travis-ci issue #1793