@comment two files which may conflict with texlive. Better (quicker) @exec/@unexec combo, suggested by edd@. ok edd@
noticed by Matthias Bauer <bauer at genua.de>