added pickle to downloadFilenames, fixed PHP special handling
minor tweak