Try to fix travis again...