$TEXFILE is always matched by *.tex
Smarter wildcards
check for rubber, warn if missing.