doctor: avoid using MACOS_VERSION