chainge lisp calls for FriCAS 1.2.3