debInst.txt update