bugfix

StreamTools: fix crash when loading an empty file