Hello again,
I tried your binaries and variouss mixes with compiled binaries on Debian and OpenSUSE 10.0 (as this is, what we have here). All combinations worked, except those with your fiasco binary.
We have OpenSUSE 10.0 with GCC 3.4.3 (from http://os.inf.tu-dresden.de/opentc/download.xml resp. ftp://ftp.suse.com/pub/people/kukuk/sles9/gcc34).
I'd suggest to use a current GCC like 4.0 for building Fiasco. Unfortunately, L4 user applications must be built with GCC 3.4 as there are some dependencies to Linux 2.4 sources. But we're on the way to fix this.
Let's cross fingers that your problems magically disappear...