[NTG-context] Getting the filename which is being typeset