post_upgrade() {
  echo "############################################"
  echo "for the old GTK branch of TEA install teagtk"
}