fixed travis again...