fix sw crash in prev push. i suspect we may need an Lwt mutex around xsb though