Winols corrects the checksum for 10000-13fff if you make the code addition/changes within winols.. it does not if you import an edited bin
FYI, it should do that if you import the edited file
as a version of the original one. Didn't test it with EDC, but definitely works that way with ME7.