HDC_UserMarshal(3w) on Linux

The text c8f48540c034, as Debian 5.0 (Lenny) shipped it.

HDC_UserMarshal(3w) on Linux now