The text ac5f0f5bb4f3, as Debian 7 (Wheezy) shipped it.
Change the symbolic names in the server
XkbSetNames(3) on Linux now
