Use full internal pathname in doxygen @file directives.