Why is `while read -r a b; do echo $a | cut -d ':'` better than `awk -F: '{print $1}'`?