file version bump to 5.13