For building TWRP for Galaxy Note 10 2014