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

Print the real name for a diverted file.