Revert "benj"

This reverts commit be52992a853814de07693b0ea1b4cb745d641337.
Benj was accidentally seen as a "subproject". Fixed.