core.hh: update headers.
[travis] Synchronize.