Fix linux build again