Builtins.Loop_VoidReturn(3kaya) on Linux

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

Builtins.Loop_VoidReturn(3kaya) on Linux now