We have released a new version of CafeOBJ. It includes fixes to the wrapper on Unix/Mac so that it can deal with spaces in paths. Furthermore, the ls command is now supported on Windows (but not on UNC path).
The binary builds for 1.5.1 contain already all the fixes, so for now we do not provide new binary builds.
Please see the download page for the source release, binary packages, and installation instructions.
CafeOBJ 1.5.2 has also arrived in Debian, please see http://packages.debian.org/cafeobj.
Please report bugs to our bug tracker.