On Jan 20, 2009, at 10:11 AM, Duncan Sands wrote: >> Fixes the build on linux. > > I can confirm that this fixes the build on > x86-64 linux. > I went ahead and applied this patch. Thanks, Rafael! -bw