Add flag to allow non portable extensions in wsgen addon.