How to build opencog with docker (14aebed6f893acd8) (2)