post_install() {
    echo Please re-login or source /etc/profile to use the new \$PATH
}