use gawk, print messages in machine-readable format to descriptor 3