Merge "Fix broken ARM64 REC build"