fix travis again?