ProxyRecorder: fix recorded filename