2013.1: bump version number