fix travis ci (?)