Renaming installed wsproxy files