If the knife is properly heat treated, a file shouldn't cut it well enough to be an effective tool for the job. This is best done with a either a belt grinder, running slowly, and done with care not to overheat the blade (and spoil the temper), or laboriously with something like stones or...