Minor fixes to bash scripts and Pilot