Fix typo in the library OS support for JIProlog