added mysql-community-devel