fix typo of executable file names