This value was set in log.h without any #ifndef around, so when one wanted to change it, a patch was needed. Let's move it to defaults.h with the usual #ifndef so that it's easier to change it.