bugfix of ISOFileSystem