Hello,
Unfortunately, WPRoket canceled our license and doesn’t allow us to use that as a bundled plugin. So, you need to buy a personal license if you want to use that plugin.
File that you mentioned is WooCommerce plugin file, it’s not our theme file.
Regards