Delete HyperProxy.cc