Paths_pkg fails to build with NoImplicitPrelude

Hello, A .cabal file like the following: Name: pkgname Library Extensions: NoImplicitPrelude Other-Modules: Paths_pkgname ... results in a failed build due to Paths_pkgname relying on ImplicitPrelude. It would be better if 1) Paths_pkgname could somehow ignore the Extensions listed in the .cabal file, or, 2) It simply included an import of Prelude or a LANGUAGE pragma enabling ImplicitPrelude, although this solution might still be prone to breakage by other extensions. -- Dag