rpm centos: use MySQL 5.6.12 on CentOS 5