The text f5f5cd912f32, as Debian 7 (Wheezy) shipped it.
Add new ligature to font
PS_add_ligature(3) on Linux now
