Fixes the executable name on the indigo_dev branch

issue found by Bryant from Rensselaer Polytechnic Institute