post_install() {
  post_remove
}

post_upgrade() {
  post_install
}

post_remove() {
  echo "Upgrading package database..."
  mktexlsr
}