post_install() {
  echo "pygmentize has been renamed to pygmentize2"
}

post_upgrade() {
  post_install "$1"
}