Fix wrong executable file name