post_upgrade() {
echo "ATTENTION DB PACKAGE:"
echo "Please consider to run db_upgrade on Berkeley DB databases with a major db version number update."
}