post_install() {
    echo You need to source /etc/profile or relogin to add Servo to your path.
}