#218529 debiandoc2ps silly output handling