Update core

(update detected by update.sh)