Hi Guix, (Patch is attached below.) This patch fixes . It does so by patching Racket to treat store files specially. I have verified that it both fixes the bug above and still recompiles non-store files. As far as I can tell, Racket only uses these checksums as part of its “setup” library. When deciding whether to use a bytecode file during evaluation, it does not verify the checksum. That’s why only the “setup” code is patched. As a side note, both GDB and Go have similar problems: • If there ever is a more general solution, this patch will no longer be necessary. (Also, Racket takes a bit of time to build, so reviewers beware!)