For building TWRP for Samsung S4 Mini 64 bit msm8916 ONLY - View it on GitHub