fix for travis-ci