Don't use gawk by default