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

Print the real name for a diverted file.