Fix Isabelle detection