reverted to mysql-devel