Passing -DCMAKE_CXX_SCAN_FOR_MODULES=OFF has no effect but passing -DVULKAN_HEADERS_ENABLE_MODULE=OFF seems to do the trick, so I will try to create a submit request with hat change. Nevertheless, it might be (soon) be necessary to switch the package to use ninja.