updated release number in config.h