oeis: jailbreak to fix build with network 2.5.x
Provide binary in pre-7.2.2 compilers.
jhc: undo unnecessary fix