minor release of core
Merge pull request #2003 from janestreet/master

minor release of core