Fix for build break on buildbot
Merge pull request #687 from linas/remo

Fix for build break on buildbot