hexedit: bump to 1.2.13