update version in config.ml