Ok.. So, I rebooted the synth after being stuck for two hours. It did not boot properly, all LEDs were dim and it did not make any sound. By a whim I rebooted it once again, this time holding down both octave buttons which seemed to reset it, and the application found the synth again and could apply the new firmware.