Readded file.__new__() after merge.