post_install() {
echo "bootlin toolchain installed to /opt/s390x-z13-glibc-bleeding-edge"
echo "The PATH variable will be updated on re-login. To immediately load it:"
echo ""
echo " source /etc/profile.d/s390x-z13-glibc-bleeding-edge-toolchain.sh"
echo ""
}