add isopen(::File)