Minor updates for the (still unsupported) Ciao and Jekejeke Prolog compilers