Minor fix GitHub highlighting

GitHub is freaking about '\' even though it is valid syntax. Using double
backslash still works with "awk", and doesnt break the highlighting.