avoid calling pkg->path from DrRacket's manager-skip-file-handler