Use regex constants in awk; see http://www.gnu.org/software/gawk/manual/html_node/Computed-Regexps.html#Computed-Regexps