For building TWRP for the Xiaomi Redmi 1S