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