same fix for eigen-hg and lemon-hg