MK9.0 Smartisan M1l upgrade problem

Got Error 7 when trying to update MK 7.1.2 to MK 9.0 from twrp. Said that there is no device with name ‘colombo’. Tried to delete assert line in script-update, but got another error ‘invalid zip file format’
Target device - Smartisan M1L with MK 7.1.2
You can replicate it via installing deleted MK 7.1.2 201812170531 Nightly.