Using the latest build from pastek-project/core.
(fixes #1).
Merge branch 'master' into gh-pages, which becomes the default branch on
GitHub.