finally found isabelle bug... updating live system soon