I think there are bugs in zinc’s incremental compilation wrt renames, but I’m not sure whether that’s it here.