Updated files for the v3.1.13 maintenance release