fix clobbered file... wtf github