grep out search path
Merge branch 'master' of git://github.com/realworldocaml/examples
Merge branch 'master' of git://github.com/realworldocaml/examples
Merge branch 'master' of git://github.com/realworldocaml/examples
fix up Makefile for new scripts