Fixed missing submodule IDs: lib was in .gitignore.