correct executable file name