extension: remove duplicated extensions in vk_EnumerateDeviceExtensionProperties