[RPL/2] New bug^Wfeature in (e)glibc

[BERTRAND Joel]

	Hello,

	Due to a strange 'feature' in new (e)glibc, socket support is currently 
broken and you can obtain a strange 'end of file' error on a regular 
READ operation on formatted sockets. I have uploaded a patch 
(src/instructions_r4.c) to fix this bug. Next daily snapshot will 
include this patch.

	Please, don't try 4.1.0 branch as this branch is not usable yet.

	Best regards,

	JKB