PostProcess.hs: provide more accurate license information for hflags