Advise XSB 3.4.1 or later when using this backend Prolog compiler