update compilation script for GIT