Bug 10240: offline_circ/download.pl