Merge pull request #328 from linas/master

Convert truth values to use smart_ptr
random buildfixes