update VERSION_NUMBER to 2.13-rc4