proxy.sh: use names closer to the convention used by other entries