fixed bug: File.__init__() is now synchronized