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