Building Genode on Fiasco.OC - problem

[Guess Who?]

I followed the instructions on "Genode on Fiasco.OC" 
(http://genode.org/community/wiki/GenodeOnFiascoOC)  and ran into a 
problem.  When I got to the step to building L4Re I got the following:

*** No rule to make target '.../lib32/crtendS.o', needed by 'libl4sys.so'.

I am building this on an x86_64 system, and I am sure it is looking for 
a 32-bit obj on a 64 bit system. Does anyone know how to fix this problem?

Peace,
Chance