Z:englobe-dpkg-man--a947d5-Print the real name for a dive/pt-br

Print the real name for a diverted file.