added mysql-devel