Builtins.Wrong_Constructor(3kaya) on Linux

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

Tried to get a field from the wrong constructor

Builtins.Wrong_Constructor(3kaya) on Linux now