Be consistent about the exec name again.

Because this PR is not about that.