fix bug in wf_directory_names, and prove t5

was requiring all directory and file names to be distinct - too
restrictive