my own repo with some fixes for dcef3