fix travis ci again...