fixing mysql-server spec