# global list of file masks not to be compressed in DOCDIR