Thanks for the report and patch, I will merge this patch as its an small one, but please remember that we are deprecating the --binlog option as we can use now mysqlbinlog.
Thanks for the report and patch, I will merge this patch as its an small one, but please remember that we are deprecating the --binlog option as we can use now mysqlbinlog.