Fix path to Boogie executable directory
Removed unused sessions