older mawk on Debian systems might not know about character classes