Minor fix to executable name