compcert: Correct syntax used in default.nix