Rename Datastream to File. Fixes #518