Re: [Hackage] #337: --disable-split-objs has wrong help string