2013.3: bump version number