Updated files for the v3.1.15 maintenance release

Hash is wrong