Put a Boost_external dependency when building libraries that contain files using boost headers but don't depend on the Boost library. This fixes parallel builds.
Update makefile build instructions.
Merge branch 'master' into gui_F