stripping (with flags -S) in  /nix/store/d32zvi41d8gdd097kgxv17vf6500k15d-webdsl/lib  /nix/store/d32zvi41d8gdd097kgxv17vf6500k15d-webdsl/bin 
strip: /nix/store/d32zvi41d8gdd097kgxv17vf6500k15d-webdsl/lib/libwebdsl-front.la: File format not recognized
strip: /nix/store/d32zvi41d8gdd097kgxv17vf6500k15d-webdsl/lib/libwebdsl-generator.la: File format not recognized
strip: /nix/store/d32zvi41d8gdd097kgxv17vf6500k15d-webdsl/lib/libjava-transformations.la: File format not recognized
strip: /nix/store/d32zvi41d8gdd097kgxv17vf6500k15d-webdsl/lib/libto-java-servlet.la: File format not recognized
strip: /nix/store/d32zvi41d8gdd097kgxv17vf6500k15d-webdsl/lib/libto-py-gae.la: File format not recognized
strip: /nix/store/d32zvi41d8gdd097kgxv17vf6500k15d-webdsl/lib/libjava-pp.la: File format not recognized
strip: /nix/store/d32zvi41d8gdd097kgxv17vf6500k15d-webdsl/lib/libwrite-files.la: File format not recognized
strip: /nix/store/d32zvi41d8gdd097kgxv17vf6500k15d-webdsl/lib/pkgconfig/webdsls.pc: File format not recognized
strip: /nix/store/d32zvi41d8gdd097kgxv17vf6500k15d-webdsl/bin/webdsl: File format not recognized
strip: /nix/store/d32zvi41d8gdd097kgxv17vf6500k15d-webdsl/bin/webdsl-plugins: File format not recognized
patching ELF executables and libraries
/nix/store/d32zvi41d8gdd097kgxv17vf6500k15d-webdsl/lib/libwebdsl-front.so.0.0.0
/nix/store/d32zvi41d8gdd097kgxv17vf6500k15d-webdsl/lib/libwebdsl-front.la
not an ELF executable
/nix/store/d32zvi41d8gdd097kgxv17vf6500k15d-webdsl/lib/libwebdsl-generator.so.0.0.0
/nix/store/d32zvi41d8gdd097kgxv17vf6500k15d-webdsl/lib/libwebdsl-generator.la
not an ELF executable
/nix/store/d32zvi41d8gdd097kgxv17vf6500k15d-webdsl/lib/libjava-transformations.so.0.0.0
/nix/store/d32zvi41d8gdd097kgxv17vf6500k15d-webdsl/lib/libjava-transformations.la
not an ELF executable
/nix/store/d32zvi41d8gdd097kgxv17vf6500k15d-webdsl/lib/libto-java-servlet.so.0.0.0
/nix/store/d32zvi41d8gdd097kgxv17vf6500k15d-webdsl/lib/libto-java-servlet.la
not an ELF executable
/nix/store/d32zvi41d8gdd097kgxv17vf6500k15d-webdsl/lib/libto-py-gae.so.0.0.0
/nix/store/d32zvi41d8gdd097kgxv17vf6500k15d-webdsl/lib/libto-py-gae.la
not an ELF executable
/nix/store/d32zvi41d8gdd097kgxv17vf6500k15d-webdsl/lib/libjava-pp.so
/nix/store/d32zvi41d8gdd097kgxv17vf6500k15d-webdsl/lib/libjava-pp.la
not an ELF executable
/nix/store/d32zvi41d8gdd097kgxv17vf6500k15d-webdsl/lib/libwrite-files.so.0.0.0
/nix/store/d32zvi41d8gdd097kgxv17vf6500k15d-webdsl/lib/libwrite-files.la
not an ELF executable
/nix/store/d32zvi41d8gdd097kgxv17vf6500k15d-webdsl/bin/webdslc
/nix/store/d32zvi41d8gdd097kgxv17vf6500k15d-webdsl/bin/webdsl
not an ELF executable
/nix/store/d32zvi41d8gdd097kgxv17vf6500k15d-webdsl/bin/webdsl-plugins
not an ELF executable
patching script interpreter paths
/nix/store/d32zvi41d8gdd097kgxv17vf6500k15d-webdsl/bin/webdsl: interpreter changed from /bin/bash to /nix/store/vdzbaimmqgnzbv41jlz04h0pfwxi9vc6-bash-3.2-p39/bin/bash
/nix/store/d32zvi41d8gdd097kgxv17vf6500k15d-webdsl/bin/webdsl-plugins: interpreter changed from /bin/bash to /nix/store/vdzbaimmqgnzbv41jlz04h0pfwxi9vc6-bash-3.2-p39/bin/bash