Where does “fil” come from?

fil (Norwegian Bokmål): A file; A hand tool used for removing sharp edges...