Replace jrl-mal by eigen