A small tool to remove proprietary parts from Cyanogenmod 10 and newer