awk wasn't nearly fast enough