awk insert file to another file