modified:   bin/check_pp.bash