A small tool to remove proprietary parts from Cyanogenmod 10/11/12 - View it on GitHub