this derivation will be built:
  /nix/store/0vxxn3vca2s7yv3mr2kqj0lv4n4j8mdf-bcachefs-module-7.1.6+deb14-cloud-amd64.drv
building '/nix/store/0vxxn3vca2s7yv3mr2kqj0lv4n4j8mdf-bcachefs-module-7.1.6+deb14-cloud-amd64.drv'...
error: Cannot build '/nix/store/0vxxn3vca2s7yv3mr2kqj0lv4n4j8mdf-bcachefs-module-7.1.6+deb14-cloud-amd64.drv'.
       Reason: builder failed with exit code 2.
       Output paths:
         /nix/store/9aixwc7armpg2z5qbyh8qg9wc36z8hdv-bcachefs-module-7.1.6+deb14-cloud-amd64
       Last 25 log lines:
       >      |                  arguments to this function are incorrect
       >      |
       >      = note: `c::mutex` and `kernel::bindings::mutex` have similar names, but are actually distinct types
       > note: `c::mutex` is defined in the current crate
       >     --> /build/bcachefs-dkms-src/src/fs/bcachefs/rust/bcachefs.rs:3499:1
       >      |
       > 3499 | pub struct mutex {
       >      | ^^^^^^^^^^^^^^^^
       > note: `kernel::bindings::mutex` is defined in crate `bindings`
       >     --> /build/reproducible-path/linux-7.1.6/debian/build/build_amd64_none_cloud-amd64/rust/bindings/bindings_generated.rs:3:1090238
       > note: function defined here
       >     --> /build/reproducible-path/linux-7.1.6/debian/build/build_amd64_none_cloud-amd64/rust/bindings/bindings_generated.rs:3:1090781
       >
       > error: aborting due to 3 previous errors; 17 warnings emitted
       >
       > Some errors have detailed explanations: E0308, E0425.
       > For more information about an error, try `rustc --explain E0308`.
       > make[5]: *** [/build/bcachefs-dkms-src/kdir/headers/linux-headers-7.1.6+deb14-common/scripts/Makefile.build:363: src/fs/bcachefs/mod.o] Error 1
       > make[4]: *** [/build/bcachefs-dkms-src/kdir/headers/linux-headers-7.1.6+deb14-common/scripts/Makefile.build:553: src/fs/bcachefs] Error 2
       > make[3]: *** [/build/bcachefs-dkms-src/kdir/headers/linux-headers-7.1.6+deb14-common/Makefile:2191: .] Error 2
       > make[2]: *** [/build/bcachefs-dkms-src/kdir/headers/linux-headers-7.1.6+deb14-common/Makefile:260: __sub-make] Error 2
       > make[2]: Leaving directory '/build/bcachefs-dkms-src'
       > make[1]: *** [/build/bcachefs-dkms-src/kdir/headers/linux-headers-7.1.6+deb14-cloud-amd64/../linux-headers-7.1.6+deb14-common/Makefile:260: __sub-make] Error 2
       > make[1]: Leaving directory '/build/bcachefs-dkms-src/kdir/headers/linux-headers-7.1.6+deb14-cloud-amd64'
       > make: *** [Makefile:18: default] Error 2
       For full logs, run:
         nix log /nix/store/0vxxn3vca2s7yv3mr2kqj0lv4n4j8mdf-bcachefs-module-7.1.6+deb14-cloud-amd64.drv