patmos: remove unused files