Building Pistachio on amd64

Hi all.  I am new to Pistachio and this list so I would like to start  
by saying "Thanks" to the L4Ka team for doing the hard work and  
making it available to everyone.

Now, on to my problem.  I'm trying to build Pistachio 0.4 from the  
tarball and I'm getting the following error when I run make:

===> Generating include/tcb_layout.h
===>
===> FAILED!!! All offsets are 0x00. Weird GCC?
===> We have seen this with some gcc-3.3 prereleases.
===>

Any idea what's going on?  Something in Makefile.voodoo, I suppose.   
I took a look in that file but couldn't find anything obvious.  I  
thought I would ask before investing the time it would take me to  
fully understand Makefile.voodoo.

Here's some info about the system I'm building on:
Processor:  AMD Turion 64 X2
gcc :  4.1.3
OS:  Kubuntu 7.1

I am building on the target architecture and I'm not trying to cross- 
compile or do anything fancy.  I haven't changed the config other  
than to switch to amd64 from ia32 and turned on FastIPC.  I've also  
tried building with the plain config (no changes) and that was worse.

Any suggestions will be appreciated.

Thanks,

--Jeff