make doxygen use shorter filenames