Rename 2014-12-10-header-file.md to 2014-12-13-header-file.md