post_install() {
  echo "Run `source /etc/profile.d/heimdal.sh` to source environment variables"
  echo "needed to run heimdal and use heimdal libraries."
}