This awk command is actually a constant. Turn it into one, too.