rpm centos: use MySQL 5.6.13-1 on CentOS 5