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