Removing (currently) useless files.