added compiled file
things are working, just need to redo xsb.ml file