Thank you for pointing out the link in the previous post chilango! I should have clicked it, but when I saw it I just thought it was some sort of notification about the servers being down, not containing any of the files needed. So that is the only file I'll need for the re-flash, but I guess I'll also need the flasher tool for linux, is it somewhere as obvious? Maybe this one: https://code.google.com/archive/p/navifirmex/downloads