Replace slow min_max.bash with min_max.awk.bash