Fix linux build broken by arm64 changes.