fix the binary name