fix for travisci