1.0dev.10: various bugfixes to stdio IO