bugfix for sat.True and sat.False Objects
added gcc option MD for writing dependency file
renaming in AST part replacement code