cmake: Correctly generate builtin.h.