Fix issue with `get_extension_modules` with no extensions