Return proper file name during Tophat memoization.