Florian, could you check the two commits of this branch and merge at least the _IO_stdin_used to trunk?