correctly; in particular, filenames containing '#' cause trouble, although '$' seems to be ok. Bump date.