post_upgrade() {
  # make firefox reinit its plugin registry
  touch /usr/lib/mozilla/plugins/mplayerplug-in.so
  echo ">>> If you have a running application that uses mplayer-plugin, please"
  echo ">>> restart it to ensure mplayer-plugin is reinitialized properly."
}


op=$1
shift
$op $*