cf. src2tex.c.ps
cf. also contrib/DOS_USER if you are a DOS user
