• stripping (with flags -S) in /nix/store/mf2gq8jy0qnfshima461468wh7641i47-lutin/bin/...-lutin/bin
• patching ELF executables and libraries
  • /nix/store/mf2gq8jy0qnfshima461468wh7641i47-lutin/bin/program_checker/...-lutin/bin/program_checker
  • /nix/store/mf2gq8jy0qnfshima461468wh7641i47-lutin/bin/java-locate/...-lutin/bin/java-locate
  • /nix/store/mf2gq8jy0qnfshima461468wh7641i47-lutin/bin/java-fold/...-lutin/bin/java-fold
  • /nix/store/mf2gq8jy0qnfshima461468wh7641i47-lutin/bin/java-graph/...-lutin/bin/java-graph
  • /nix/store/mf2gq8jy0qnfshima461468wh7641i47-lutin/bin/java-to-dot/...-lutin/bin/java-to-dot
  • /nix/store/mf2gq8jy0qnfshima461468wh7641i47-lutin/bin/lutin/...-lutin/bin/lutin
  • /nix/store/mf2gq8jy0qnfshima461468wh7641i47-lutin/bin/violation-to-abox/...-lutin/bin/violation-to-abox
  • /nix/store/mf2gq8jy0qnfshima461468wh7641i47-lutin/bin/pp-violation/...-lutin/bin/pp-violation
  • /nix/store/mf2gq8jy0qnfshima461468wh7641i47-lutin/bin/violations_correction/...-lutin/bin/violations_correction
  • /nix/store/mf2gq8jy0qnfshima461468wh7641i47-lutin/bin/lutin-sunit/...-lutin/bin/lutin-sunit
  • /nix/store/mf2gq8jy0qnfshima461468wh7641i47-lutin/bin/test-fold-input/...-lutin/bin/test-fold-input
• patching script interpreter paths