Flakebi

#!/usr/bin/env bash
# Input: <inputfile> <outputfile>
cp $1 $2
# Remove comments
sed -i 's#//.*##g' $2
# Move to new lines
sed -i 'H;$!d;x;s/;\n*/\n;/g' $2
sed -i 'H;$!d;x;s/\s*{\n*/\n{/g' $2
sed -i 'H;$!d;x;s/\s*}\n*/\n}/g' $2
# Join lines without fancy start

Flakebi

diff --git a/src/analyzer/pin.ml b/src/analyzer/pin.ml
index 7a0103f..fd90576 100644
--- a/src/analyzer/pin.ml
+++ b/src/analyzer/pin.ml
@@ -12,7 +12,7 @@ let pin_path =
 let instrumentor_path =
   let path =
     if Nativeint.size = 64 then
-      Filename.concat toolroot "src/instrumentor/obj-intel64/symfuzz.so"
+      Filename.concat toolroot "src/instrumentor/obj-ia64/symfuzz.so"