Re: [GHC] #13111: maintainer-clean should clean build.mk