nilsbecker

i tried on macos. i pinned eigen to a local copy of master at commit a80f9a0 . then opam upgrade completes without complaints (no owl installed in this 4.11 switch)...