Changed stdlib.ml to convey that the values in there for the configs are not used.