# ignore all generated file by the makefile (we prefix them with file...) /file*