rpm centos: use MySQL 5.6.12-2 on CentOS 5