IVIGIT: correcting a missing file for compilation.