Fix linux port.