Building with XSB in empty, new directory fails (only the first time)

[Bart Bogaerts]

to reproduce this bug

cd x cmake ... -DWITHXSB=ON make install

This will fail on the xsb compilation.

If you run make install again... it works

Probably wrong output-value of the xsb compilation.