fixed git source tree, now up to date with Jan 3 version.