fix up for travisci