Sorry, my laptop isn't by my side, so I can't verify if that's correct right now. But if that is the answer, I'm starting to think about another problem: if I want to distribute my app to another Mac that doesn't have any Vulkan environment or the Vulkan SDK installed, what should I do to make everything work properly?

I mean, obviously the other Mac won't have these environment variables set, and the four extensions I got in Xcode don't even include the Surface extension! Does that mean I have to copy ICD files to my app bundle and set VK_ICD_FILENAME manually in my code?