mysql-connector-odbc: update to 5.1.12