another fix to isabelle loading for Isabelle2013