remove non-existing port_proxy_extension.rb file from Manifest

Sorry ... Failed to notice it in my original PR.