[Git][ghc/ghc][wip/davide/ghc-internal-def] WIP Hadrian: fix ghc-internal .def file