You can edit the Arduino preferences.txt file and add a line that says:
upload=verbose
When you compile your sketch you will then see (near the end of the process) the actual HEX filename that represents your program.
Note that you have to edit the preferences.txt file when the Arduino GUI is NOT running, because it overwrites the file when the GUI closes.
--
The Flexible MIDI Shield: MIDI IN/OUT, stacking headers, your choice of I/O pins