https://papergrep.dev/paper/copy-and-patch-compilation-a-fast-compilation-766cb5