post_install() {
  echo 'Relogin or source /etc/profile.d/smlnj.sh'
}
