Updating mysql-server package name