some adjustments to mysql.pp