Fixed File.__init__ and related instantiators