fix isabelle loading for Isabelle2013