Fix executable names to match the names in the release packaging