setting version 4.2.pre-release-2013-07-03