small fixes to crab scripts