Dear gcc-team, what i forgot to say: While "make" complains about the absence of stubs-32.h, there exists stubs-64.h; and since i am on a 64 bit machine, i really wonder why "make" tries to find the 32-bit-stubs. Might this be a bug? Your Simon