getCoreModuleName :: FilePath -> IO String