The text bc47c3932007, as Debian 7 (Wheezy) shipped it.
get a TKIP phase 2 key
ieee80211_get_tkip_p2k(9) on Linux now