Using latest version of Eaglehorn