set VERSION_NUMBER to 2.13 final