post_install() {
  echo "Updating desktop and mime database ..."
  update-desktop-database -q
}