Correct patch filenames in MysqlUpdater

Follows-up 65a304c44451.

Change-Id: I5bf550721d3b36b7075896dc920fceb6fd58590a