Use awk, which is usually present