title: how to get most recent mySQLdump tool
body: <p>Perhaps not really a suitable SO question but I'll give it a try.</p>
  
  <p>When I try to dump my DB from the remote server, my MySQL workbench for MacOS tells me:</p>
  
  <p>Applications/MySQLWorkbench.app/Contents/MacOS/mysqldump is version 5.7.12, but the MySQL Server to be dumped has version 5.7.15.
  Because the version of mysqldump is older than the server, some features may not be backed up properly.
  It is recommended you upgrade your local MySQL client programs, including mysqldump, to a version equal to or newer than that of the target server.
  The path to the dump tool must then be set in Preferences -> Administrator -> Path to mysqldump Tool:</p>
  
  <p>I have version 6.3 installed, and the built-in "check for updates" only tells me I already have the latest version. </p>
  
  <p>Does anyone know where I can go to download this more recent dump tool? I looked around on the MySQL.com but couldn't find it. </p>