Fix typo in executable names