I noticed a problem late last week with the code in the repository which I haven't had time to look into yet -- a command in bash with output redirected "> /dev/null" failed with "bash: Could not overwrite existing file" or something like that. I hope to have time to debug it tomorrow. jik