set version number to 2.13-rc3