file down

Verb

 * 1)  To reduce the size of something by filing (using the abrasive effects of a file).