also adjust precise control file for isabelle-installer