all of these submodules have since moved their source files into lib/