The text a0ed11eee89e, as Debian 7 (Wheezy) shipped it.
set PSK identity hint to use
SSL_CTX_use_psk_identity_hint(3ssl) on Linux now
