Fixing Deb postinst/postrm issues with new version of MySQL (closes #554)