/home/rui/Apps/pvtcoms/target/release/build/hax-lib-df81e99b82817e21/build_script_build-df81e99b82817e21.d: /home/rui/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/hax-lib-0.3.6/build.rs

/home/rui/Apps/pvtcoms/target/release/build/hax-lib-df81e99b82817e21/build_script_build-df81e99b82817e21: /home/rui/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/hax-lib-0.3.6/build.rs

/home/rui/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/hax-lib-0.3.6/build.rs: