Upgrade to educe 0.5

Educe 0.5 is out; we should upgrade eventually. There are compatibility issues.