None of the modem images listed on the indicated page seem to work.
But I went to Google's repository for factory images and downloaded the full OS archive, decompressed it, extracted the modem file and ran the whole process to flash it. It worked! :D