Updated with up-to-date libsexp