Fix percent sign in awk magic