Firmware for bleduino using Atmega 32u4

Does anyone have firmware for bleduino using Atmega 32u4. The github for bleduino gives directions for building the .hex file for bleduino using 32u4 but I believe it is incorrect (willing to be corrected) it mentions change program.txt to program.bat, but there is no program.txt file. If anyone can point me in the right direction on how to do this myself I would greatly appreciate it. Link to github repository is below.