fixed code again
use our own fork of einhorn