https://www.javiergutierrezchamorro.com/mysql-x86-vs-x64/