isabelle fix
remove deprecation warnings in clide-xml
fix build issue