wai-websockets: jailbreak to fix build with recent io-streams