The text e93a528cb4cb, as Debian 7 (Wheezy) shipped it.
manipulate device quiet flag
device_quiet(9freebsd) on Linux now
