5154f2a1c Make CORE.c setting build reproducibly