opencog/opencog — pull request #329 by linas (2013-10-15 03:11:59+00:00)
Title: cherrypick random buildfixes from sandsmark

cherrypick random buildfixes from sandsmark