git 1.8.2.3, gawk 4.1.0 updates