Fix: a minor bug in getting executable path;
Fix: a minor bug in listing operator symbols.