Fix minor bug in File.__init__, forgot opts argument