fix a bug or two in FileStream support