The text 7c5457e7b195, as Debian 7 (Wheezy) shipped it.
query the version of the input extension.
XGetExtensionVersion(3) on Linux now
