Fix mysql-server package name