It's just a default value, it's patched to actual value by configure.