Using the latest build from pastek-project/core.
(fixes #1).