devel: Deleting files used during development