Fix copy-paste typo in output binary name