post_install() {
  echo
  echo "Source /etc/profile.d/go.sh or relogin"
  echo
}