An unexpected side effect of this patch is that it fixes the problem of GCC not accepting input from stdin. In view of this I'll commit it to the branch as well as the mainline. Neil.