Fix executable names.