HDC_UserFree(3w) on Linux

The text 2e93ad0fb10c, as Debian 6.0 (Squeeze) shipped it.

HDC_UserFree(3w) on Linux now