adding DTX and INS files