Yes, the ATmega32U4 boards have a little bit different method for uploading that the other boards.
If you're not set on using Arduino Builder, I can provide instructions that will allow you to upload your .hex file to the Pro Micro from the command line using the same AVRDUDE tool the Arduino IDE uses to upload. Let me know if you want to try it.