[BUGFIX] Add the missing lib/ folder and adapt the .gitignore.