fixing prove.sh and examples