The text 9fb8e1c244df, as Debian 7 (Wheezy) shipped it.
set device for 802.11 hardware
SET_IEEE80211_DEV(9) on Linux now
