Release version 2013.1.beta.4 set in config.ini