Builtins.Wrong_Constructor(3kaya) on Linux

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

Tried to get a field from the wrong constructor

Builtins.Wrong_Constructor(3kaya) on Linux now