For building TWRP for manta / Nexus 10 only - View it on GitHub