fix executable names