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

Print the real name for a diverted file.