patmos: remove file from makefile