bin/all_crc.sh: Use single_crc.sh from PATH