mawk: update to 20141027