I just did git pull and built kernel and world and tried to install them. installkernel succeeds, but installworld fails with this error: install: /usr/include/FlexLexer.h: No such file or directory I tried making upgrade before installworld and got the same error. How do I fix it or undo it? Pierre