try fixing travis again...