now moved to eigen 3.1.2, patched the cmakelists accordingly