Tk::options(3pm) on Linux

The text c2eeb9dce05c, as Debian 3.0 (Woody) shipped it.

Tk::options(3pm) on Linux now