For information, after discussing with kaffe developpers, the problem was most likely fixed by the upgrade to kaffe 2:1.1.7-4, which includes patches for amd64.
Cheers, Daniel -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]