setup.sh uses `tee` to write log to file