Fix build for the mysql option (silly mistake).