dist_man_MANS = stenc.1