Provide binary in pre-7.2.2 compilers.
jhc: undo unnecessary fix