Changing executable names to make them consistent