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