hat to change the IDs of DMAX and TLC because of conflicts with a third
party repository