update backport patch to 20130717, include it in release number