Revert "update compilation script for GIT"

This reverts commit 5878de0283d3fbcdf2598b530e2d16689a996eea.