"Andreas K. Huettel" <andreas.huettel@ur.de> writes: > given that the original patch was not really a user-visible feature, just a "convenience > help" (that I fully agree with, I'd also happily omit --prefix=/usr), how about we revert > it now and put the full fix in after the release? I have reverted the original patch.