version 0.8.5.3

fix of InputStream.read()
fix of VersionControl at empty history