Re: [GHC] #7941: Running 'make maintainer-clean' doesn't remove all build artefacts