CloseINFEngine(3w) on Linux

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

CloseINFEngine(3w) on Linux now