modify the projCommon.ml