[ci] remove unused .so from pathcrawler before patching elf files

It turns out that in newer nixpkgs version the (very outdated)
dependencies of these dynamic libraries do not exist anymore, leading
autoPatchelf to fail. Fortunately, since the CI server use the x86_64
versions that look for newer dependencies, we can simply remove the
offending files. This begs the question of whether these .so are
actually used in some configuration, though.

nix/default.nix

@@ -362,7 +362,13 @@ pkgs.lib.makeExtensible
                 sed -i src/plugins/pathcrawler/extern/eclipseCLP/RUNME -e "s/chmod 2755/chmod 755/g"
                 rm src/plugins/pathcrawler/extern/eclipseCLP/lib/x86_64_linux/dbi_mysql.so
                 rm src/plugins/pathcrawler/extern/eclipseCLP/lib/x86_64_linux/ic.so
-                autoPatchelf src/plugins/pathcrawler
+                rm src/plugins/pathcrawler/extern/eclipseCLP/lib/x86_64_linux/bitmap.so
+                rm -fr src/plugins/pathcrawler/extern/eclipseCLP/lib/i386_linux
+                rm src/plugins/pathcrawler/src/generator/COLIBRI/float_util_sparc_sunos5.so
+                rm src/plugins/pathcrawler/src/generator/COLIBRI/float_util_i386_linux.so.*
+                rm src/plugins/pathcrawler/share/bin/float_util_sparc_sunos5.so
+                find src/plugins/pathcrawler -name '*_i386_*.so' -delete
+                autoPatchelf src/plugins/pathcrawler/
                 make -j 4
                 ln -sr src/plugins/pathcrawler/share share/pc
                 # Setup Why3