Add config_std.h.