another hack for travis