stripping (with flags -S) in /nix/store/825rp3knjc7mvni5q18fnsjqd6m4dw5v-webdsl/lib/...-webdsl/lib /nix/store/825rp3knjc7mvni5q18fnsjqd6m4dw5v-webdsl/bin/...-webdsl/bin
strip: /nix/store/825rp3knjc7mvni5q18fnsjqd6m4dw5v-webdsl/lib/libwebdsl-front.la/...-webdsl/lib/libwebdsl-front.la: File format not recognized
strip: /nix/store/825rp3knjc7mvni5q18fnsjqd6m4dw5v-webdsl/lib/libwebdsl-generator.la/...-webdsl/lib/libwebdsl-generator.la: File format not recognized
strip: /nix/store/825rp3knjc7mvni5q18fnsjqd6m4dw5v-webdsl/lib/pkgconfig/webdsls.pc/...-webdsl/lib/pkgconfig/webdsls.pc: File format not recognized
strip: /nix/store/825rp3knjc7mvni5q18fnsjqd6m4dw5v-webdsl/bin/webdsl/...-webdsl/bin/webdsl: File format not recognized
strip: /nix/store/825rp3knjc7mvni5q18fnsjqd6m4dw5v-webdsl/bin/webdsl-plugins/...-webdsl/bin/webdsl-plugins: File format not recognized
patching ELF executables and libraries
/nix/store/825rp3knjc7mvni5q18fnsjqd6m4dw5v-webdsl/lib/libwebdsl-front.so/...-webdsl/lib/libwebdsl-front.so
/nix/store/825rp3knjc7mvni5q18fnsjqd6m4dw5v-webdsl/lib/libwebdsl-front.la/...-webdsl/lib/libwebdsl-front.la
not an ELF executable
/nix/store/825rp3knjc7mvni5q18fnsjqd6m4dw5v-webdsl/lib/libwebdsl-generator.so/...-webdsl/lib/libwebdsl-generator.so
/nix/store/825rp3knjc7mvni5q18fnsjqd6m4dw5v-webdsl/lib/libwebdsl-generator.la/...-webdsl/lib/libwebdsl-generator.la
not an ELF executable
/nix/store/825rp3knjc7mvni5q18fnsjqd6m4dw5v-webdsl/bin/dsl-to-seam/...-webdsl/bin/dsl-to-seam
/nix/store/825rp3knjc7mvni5q18fnsjqd6m4dw5v-webdsl/bin/webdsl/...-webdsl/bin/webdsl
not an ELF executable
/nix/store/825rp3knjc7mvni5q18fnsjqd6m4dw5v-webdsl/bin/webdsl-plugins/...-webdsl/bin/webdsl-plugins
not an ELF executable
patching script interpreter paths
/nix/store/825rp3knjc7mvni5q18fnsjqd6m4dw5v-webdsl/bin/webdsl/...-webdsl/bin/webdsl: interpreter changed from /bin/bash to /nix/store/vdzbaimmqgnzbv41jlz04h0pfwxi9vc6-bash-3.2-p39/bin/bash/...-bash-3.2-p39/bin/bash
/nix/store/825rp3knjc7mvni5q18fnsjqd6m4dw5v-webdsl/bin/webdsl-plugins/...-webdsl/bin/webdsl-plugins: interpreter changed from /bin/bash to /nix/store/vdzbaimmqgnzbv41jlz04h0pfwxi9vc6-bash-3.2-p39/bin/bash/...-bash-3.2-p39/bin/bash