Delete cyanogenmod_tools~