fix bugs that occur when saving a file containing breakpoints under a new name