dist/bootstrap: set up $PATH before using lib.bash