opencog/opencog — pull request #155 by linas (2013-04-25 19:35:54+00:00)
Title: possible fixes, per van der Peet.

I don't know if this will do the trick or not ... maybe it will.