fixup: scripts/pre_install_database-server: work around 707075