don't deoptimize files; fixes #80