I apparently forgot to push  latest disc manager code.