Fixup mkspecs adding aarch64