base(3) on Linux

The text ac074bb444d8, as Debian 7 (Wheezy) shipped it.

base(3) on Linux now