cc_string(3) on Linux

The text 3c0fef4a4e02, as Debian 7 (Wheezy) shipped it.

The cc_string type is a C ADT for ASCII string management. This is a Coin extension.

cc_string(3) on Linux now