VarR4CmpR8(3w) on Linux

The text 43d4535cefee, as Debian 6.0 (Squeeze) shipped it.

VarR4CmpR8(3w) on Linux now