Hello, I have found the bug (asm memory clobber...) which was making us use gcc-4.2, it will be fixed in next upload. Thanks, Samuel