VarR4FromBool(3w) on Linux

The text 0071d4af679f, as Debian 6.0 (Squeeze) shipped it.

VarR4FromBool(3w) on Linux now