Weak.Make(3o) on Linux

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

Functor building an implementation of the weak hash table structure.

Weak.Make(3o) on Linux now