Arduino Zero OTA update over GPRS

I googled how to do it, because I get only .hex generated, and I've found your reply here :

Which states :

For AVR boards "Export compiled binary" generates hex.

If I understand correctly, Arduino Mega 2560 is AVR board ? Can I somehow still generate .bin ?