WhichPlatform(3w) on Linux

The text a0e90e958b02, as Debian 4.0 (Etch) shipped it.

WhichPlatform(3w) on Linux now