improve RDWorker.get_filename_from_url()