* I had a bunch of : cannot remove directory for /tmp/G6WJsnrnaA: Directory not empty at /usr/bin/creduce line 232
So far I have not managed to track down the C-Reduce bug that is responsible for this. It only happens in parallel mode. It does not appear to make C-Reduce work any less well, so just ignore it.
It is possible that this is a Perl bug. John
