php8.0-mysql: maintainer-script-empty prerm