Diff of the two buildlogs:

--
--- b1/build.log	2024-04-13 04:26:07.377606540 +0000
+++ b2/build.log	2024-04-13 04:31:18.548348913 +0000
@@ -1,6 +1,6 @@
 I: pbuilder: network access will be disabled during build
-I: Current time: Fri Apr 12 16:18:40 -12 2024
-I: pbuilder-time-stamp: 1712981920
+I: Current time: Sat Apr 13 18:26:21 +14 2024
+I: pbuilder-time-stamp: 1712982381
 I: Building the build Environment
 I: extracting base tarball [/var/cache/pbuilder/trixie-reproducible-base.tgz]
 I: copying local configuration
@@ -25,52 +25,84 @@
 dpkg-source: info: unpacking mona_1.4-18-1.debian.tar.xz
 I: Not using root during the build.
 I: Installing the build-deps
-I: user script /srv/workspace/pbuilder/1891/tmp/hooks/D02_print_environment starting
+I: user script /srv/workspace/pbuilder/23533/tmp/hooks/D01_modify_environment starting
+debug: Running on virt64a.
+I: Changing host+domainname to test build reproducibility
+I: Adding a custom variable just for the fun of it...
+I: Changing /bin/sh to bash
+'/bin/sh' -> '/bin/bash'
+lrwxrwxrwx 1 root root 9 Apr 13 04:26 /bin/sh -> /bin/bash
+I: Setting pbuilder2's login shell to /bin/bash
+I: Setting pbuilder2's GECOS to second user,second room,second work-phone,second home-phone,second other
+I: user script /srv/workspace/pbuilder/23533/tmp/hooks/D01_modify_environment finished
+I: user script /srv/workspace/pbuilder/23533/tmp/hooks/D02_print_environment starting
 I: set
-  BUILDDIR='/build/reproducible-path'
-  BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other'
-  BUILDUSERNAME='pbuilder1'
-  BUILD_ARCH='armhf'
-  DEBIAN_FRONTEND='noninteractive'
-  DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=3 '
-  DISTRIBUTION='trixie'
-  HOME='/root'
-  HOST_ARCH='armhf'
+  BASH=/bin/sh
+  BASHOPTS=checkwinsize:cmdhist:complete_fullquote:extquote:force_fignore:globasciiranges:globskipdots:hostcomplete:interactive_comments:patsub_replacement:progcomp:promptvars:sourcepath
+  BASH_ALIASES=()
+  BASH_ARGC=()
+  BASH_ARGV=()
+  BASH_CMDS=()
+  BASH_LINENO=([0]="12" [1]="0")
+  BASH_LOADABLES_PATH=/usr/local/lib/bash:/usr/lib/bash:/opt/local/lib/bash:/usr/pkg/lib/bash:/opt/pkg/lib/bash:.
+  BASH_SOURCE=([0]="/tmp/hooks/D02_print_environment" [1]="/tmp/hooks/D02_print_environment")
+  BASH_VERSINFO=([0]="5" [1]="2" [2]="21" [3]="1" [4]="release" [5]="arm-unknown-linux-gnueabihf")
+  BASH_VERSION='5.2.21(1)-release'
+  BUILDDIR=/build/reproducible-path
+  BUILDUSERGECOS='second user,second room,second work-phone,second home-phone,second other'
+  BUILDUSERNAME=pbuilder2
+  BUILD_ARCH=armhf
+  DEBIAN_FRONTEND=noninteractive
+  DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=4 '
+  DIRSTACK=()
+  DISTRIBUTION=trixie
+  EUID=0
+  FUNCNAME=([0]="Echo" [1]="main")
+  GROUPS=()
+  HOME=/root
+  HOSTNAME=i-capture-the-hostname
+  HOSTTYPE=arm
+  HOST_ARCH=armhf
   IFS=' 	
   '
-  INVOCATION_ID='9f9ae954daac46b49d728d8ddba38838'
-  LANG='C'
-  LANGUAGE='en_US:en'
-  LC_ALL='C'
-  MAIL='/var/mail/root'
-  OPTIND='1'
-  PATH='/usr/sbin:/usr/bin:/sbin:/bin:/usr/games'
-  PBCURRENTCOMMANDLINEOPERATION='build'
-  PBUILDER_OPERATION='build'
-  PBUILDER_PKGDATADIR='/usr/share/pbuilder'
-  PBUILDER_PKGLIBDIR='/usr/lib/pbuilder'
-  PBUILDER_SYSCONFDIR='/etc'
-  PPID='1891'
-  PS1='# '
-  PS2='> '
+  INVOCATION_ID=64a08ae468bc49b6a69d35b4f3f25fc8
+  LANG=C
+  LANGUAGE=it_CH:it
+  LC_ALL=C
+  MACHTYPE=arm-unknown-linux-gnueabihf
+  MAIL=/var/mail/root
+  OPTERR=1
+  OPTIND=1
+  OSTYPE=linux-gnueabihf
+  PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path
+  PBCURRENTCOMMANDLINEOPERATION=build
+  PBUILDER_OPERATION=build
+  PBUILDER_PKGDATADIR=/usr/share/pbuilder
+  PBUILDER_PKGLIBDIR=/usr/lib/pbuilder
+  PBUILDER_SYSCONFDIR=/etc
+  PIPESTATUS=([0]="0")
+  POSIXLY_CORRECT=y
+  PPID=23533
   PS4='+ '
-  PWD='/'
-  SHELL='/bin/bash'
-  SHLVL='2'
-  SUDO_COMMAND='/usr/bin/timeout -k 18.1h 18h /usr/bin/ionice -c 3 /usr/bin/nice /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.a1KZmn1v/pbuilderrc_JJE6 --distribution trixie --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/trixie-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.a1KZmn1v/b1 --logfile b1/build.log mona_1.4-18-1.dsc'
-  SUDO_GID='113'
-  SUDO_UID='107'
-  SUDO_USER='jenkins'
-  TERM='unknown'
-  TZ='/usr/share/zoneinfo/Etc/GMT+12'
-  USER='root'
-  _='/usr/bin/systemd-run'
-  http_proxy='http://10.0.0.15:3142/'
+  PWD=/
+  SHELL=/bin/bash
+  SHELLOPTS=braceexpand:errexit:hashall:interactive-comments:posix
+  SHLVL=3
+  SUDO_COMMAND='/usr/bin/timeout -k 24.1h 24h /usr/bin/ionice -c 3 /usr/bin/nice -n 11 /usr/bin/unshare --uts -- /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.a1KZmn1v/pbuilderrc_3ABz --distribution trixie --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/trixie-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.a1KZmn1v/b2 --logfile b2/build.log mona_1.4-18-1.dsc'
+  SUDO_GID=114
+  SUDO_UID=108
+  SUDO_USER=jenkins
+  TERM=unknown
+  TZ=/usr/share/zoneinfo/Etc/GMT-14
+  UID=0
+  USER=root
+  _='I: set'
+  http_proxy=http://10.0.0.15:3142/
 I: uname -a
-  Linux wbq0 6.1.0-18-armmp #1 SMP Debian 6.1.76-1 (2024-02-01) armv7l GNU/Linux
+  Linux i-capture-the-hostname 6.1.0-18-arm64 #1 SMP Debian 6.1.76-1 (2024-02-01) aarch64 GNU/Linux
 I: ls -l /bin
-  lrwxrwxrwx 1 root root 7 Apr 12 11:26 /bin -> usr/bin
-I: user script /srv/workspace/pbuilder/1891/tmp/hooks/D02_print_environment finished
+  lrwxrwxrwx 1 root root 7 Apr 11 11:25 /bin -> usr/bin
+I: user script /srv/workspace/pbuilder/23533/tmp/hooks/D02_print_environment finished
  -> Attempting to satisfy build-dependencies
  -> Creating pbuilder-satisfydepends-dummy package
 Package: pbuilder-satisfydepends-dummy
@@ -142,7 +174,7 @@
 Get: 30 http://deb.debian.org/debian trixie/main armhf intltool-debian all 0.35.0+20060710.6 [22.9 kB]
 Get: 31 http://deb.debian.org/debian trixie/main armhf po-debconf all 1.0.21+nmu1 [248 kB]
 Get: 32 http://deb.debian.org/debian trixie/main armhf debhelper all 13.15.3 [901 kB]
-Fetched 19.9 MB in 1s (14.8 MB/s)
+Fetched 19.9 MB in 1s (27.9 MB/s)
 debconf: delaying package configuration, since apt-utils is not installed
 Selecting previously unselected package m4.
 (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 19635 files and directories currently installed.)
@@ -286,7 +318,11 @@
 Building tag database...
  -> Finished parsing the build-deps
 I: Building the package
-I: Running cd /build/reproducible-path/mona-1.4-18/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-genchanges -S  > ../mona_1.4-18-1_source.changes
+I: user script /srv/workspace/pbuilder/23533/tmp/hooks/A99_set_merged_usr starting
+Not re-configuring usrmerge for trixie
+I: user script /srv/workspace/pbuilder/23533/tmp/hooks/A99_set_merged_usr finished
+hostname: Name or service not known
+I: Running cd /build/reproducible-path/mona-1.4-18/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-genchanges -S  > ../mona_1.4-18-1_source.changes
 dpkg-buildpackage: info: source package mona
 dpkg-buildpackage: info: source version 1.4-18-1
 dpkg-buildpackage: info: source distribution unstable
@@ -469,7 +505,7 @@
 config.status: executing depfiles commands
 config.status: executing libtool commands
    dh_auto_build
-	make -j3
+	make -j4
 make[1]: Entering directory '/build/reproducible-path/mona-1.4-18'
 make  all-recursive
 make[2]: Entering directory '/build/reproducible-path/mona-1.4-18'
@@ -479,13 +515,13 @@
 make[3]: Leaving directory '/build/reproducible-path/mona-1.4-18/config'
 Making all in Mem
 make[3]: Entering directory '/build/reproducible-path/mona-1.4-18/Mem'
-/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..   -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o dlmalloc.lo dlmalloc.c
-/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..   -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mem.lo mem.c
-libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c dlmalloc.c  -fPIC -DPIC -o .libs/dlmalloc.o
+/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..   -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o dlmalloc.lo dlmalloc.c
+/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..   -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mem.lo mem.c
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c mem.c  -fPIC -DPIC -o .libs/mem.o
-libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c dlmalloc.c -o dlmalloc.o >/dev/null 2>&1
+libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c dlmalloc.c  -fPIC -DPIC -o .libs/dlmalloc.o
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c mem.c -o mem.o >/dev/null 2>&1
-/bin/bash ../libtool  --tag=CC   --mode=link gcc  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -version-info 1:4 -Wl,-z,relro -o libmonamem.la -rpath /usr/lib/arm-linux-gnueabihf dlmalloc.lo mem.lo  
+libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c dlmalloc.c -o dlmalloc.o >/dev/null 2>&1
+/bin/sh ../libtool  --tag=CC   --mode=link gcc  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -version-info 1:4 -Wl,-z,relro -o libmonamem.la -rpath /usr/lib/arm-linux-gnueabihf dlmalloc.lo mem.lo  
 libtool: link: gcc -shared  -fPIC -DPIC  .libs/dlmalloc.o .libs/mem.o    -g -O2 -fstack-protector-strong -O3 -Wl,-z -Wl,relro   -Wl,-soname -Wl,libmonamem.so.1 -o .libs/libmonamem.so.1.0.4
 libtool: link: (cd ".libs" && rm -f "libmonamem.so.1" && ln -s "libmonamem.so.1.0.4" "libmonamem.so.1")
 libtool: link: (cd ".libs" && rm -f "libmonamem.so" && ln -s "libmonamem.so.1.0.4" "libmonamem.so")
@@ -495,31 +531,31 @@
 make[3]: Leaving directory '/build/reproducible-path/mona-1.4-18/Mem'
 Making all in BDD
 make[3]: Entering directory '/build/reproducible-path/mona-1.4-18/BDD'
-/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..   -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o bdd.lo bdd.c
-/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..   -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o bdd_cache.lo bdd_cache.c
-/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..   -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o bdd_double.lo bdd_double.c
-libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd_cache.c  -fPIC -DPIC -o .libs/bdd_cache.o
+/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..   -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o bdd.lo bdd.c
+/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..   -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o bdd_cache.lo bdd_cache.c
+/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..   -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o bdd_double.lo bdd_double.c
+/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..   -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o bdd_dump.lo bdd_dump.c
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd_double.c  -fPIC -DPIC -o .libs/bdd_double.o
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd.c  -fPIC -DPIC -o .libs/bdd.o
-libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd_cache.c -o bdd_cache.o >/dev/null 2>&1
-libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd_double.c -o bdd_double.o >/dev/null 2>&1
-/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..   -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o bdd_dump.lo bdd_dump.c
-/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..   -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o bdd_external.lo bdd_external.c
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd_dump.c  -fPIC -DPIC -o .libs/bdd_dump.o
-libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd_external.c  -fPIC -DPIC -o .libs/bdd_external.o
+libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd_cache.c  -fPIC -DPIC -o .libs/bdd_cache.o
+libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd_double.c -o bdd_double.o >/dev/null 2>&1
+libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd_cache.c -o bdd_cache.o >/dev/null 2>&1
+/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..   -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o bdd_external.lo bdd_external.c
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd_dump.c -o bdd_dump.o >/dev/null 2>&1
-libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd_external.c -o bdd_external.o >/dev/null 2>&1
-/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..   -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o bdd_manager.lo bdd_manager.c
-/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..   -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o bdd_trace.lo bdd_trace.c
+/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..   -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o bdd_manager.lo bdd_manager.c
+libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd_external.c  -fPIC -DPIC -o .libs/bdd_external.o
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd_manager.c  -fPIC -DPIC -o .libs/bdd_manager.o
+/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..   -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o bdd_trace.lo bdd_trace.c
+libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd_external.c -o bdd_external.o >/dev/null 2>&1
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd_trace.c  -fPIC -DPIC -o .libs/bdd_trace.o
-libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd_trace.c -o bdd_trace.o >/dev/null 2>&1
+/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..   -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o hash.lo hash.c
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd_manager.c -o bdd_manager.o >/dev/null 2>&1
-/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..   -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o hash.lo hash.c
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c hash.c  -fPIC -DPIC -o .libs/hash.o
+libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd_trace.c -o bdd_trace.o >/dev/null 2>&1
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c hash.c -o hash.o >/dev/null 2>&1
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c bdd.c -o bdd.o >/dev/null 2>&1
-/bin/bash ../libtool  --tag=CC   --mode=link gcc  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -version-info 1:4 -Wl,-z,relro -o libmonabdd.la -rpath /usr/lib/arm-linux-gnueabihf bdd.lo bdd_cache.lo bdd_double.lo bdd_dump.lo bdd_external.lo bdd_manager.lo bdd_trace.lo hash.lo ../Mem/libmonamem.la 
+/bin/sh ../libtool  --tag=CC   --mode=link gcc  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -version-info 1:4 -Wl,-z,relro -o libmonabdd.la -rpath /usr/lib/arm-linux-gnueabihf bdd.lo bdd_cache.lo bdd_double.lo bdd_dump.lo bdd_external.lo bdd_manager.lo bdd_trace.lo hash.lo ../Mem/libmonamem.la 
 libtool: link: gcc -shared  -fPIC -DPIC  .libs/bdd.o .libs/bdd_cache.o .libs/bdd_double.o .libs/bdd_dump.o .libs/bdd_external.o .libs/bdd_manager.o .libs/bdd_trace.o .libs/hash.o   -Wl,-rpath -Wl,/build/reproducible-path/mona-1.4-18/Mem/.libs ../Mem/.libs/libmonamem.so  -g -O2 -fstack-protector-strong -O3 -Wl,-z -Wl,relro   -Wl,-soname -Wl,libmonabdd.so.1 -o .libs/libmonabdd.so.1.0.4
 libtool: link: (cd ".libs" && rm -f "libmonabdd.so.1" && ln -s "libmonabdd.so.1.0.4" "libmonabdd.so.1")
 libtool: link: (cd ".libs" && rm -f "libmonabdd.so" && ln -s "libmonabdd.so.1.0.4" "libmonabdd.so")
@@ -529,40 +565,40 @@
 make[3]: Leaving directory '/build/reproducible-path/mona-1.4-18/BDD'
 Making all in DFA
 make[3]: Entering directory '/build/reproducible-path/mona-1.4-18/DFA'
-/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-analyze.lo `test -f 'analyze.c' || echo './'`analyze.c
-/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-basic.lo `test -f 'basic.c' || echo './'`basic.c
-/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-dfa.lo `test -f 'dfa.c' || echo './'`dfa.c
+/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-analyze.lo `test -f 'analyze.c' || echo './'`analyze.c
+/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-basic.lo `test -f 'basic.c' || echo './'`basic.c
+/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-dfa.lo `test -f 'dfa.c' || echo './'`dfa.c
+/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-external.lo `test -f 'external.c' || echo './'`external.c
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c basic.c  -fPIC -DPIC -o .libs/libmonadfa_la-basic.o
+libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c external.c  -fPIC -DPIC -o .libs/libmonadfa_la-external.o
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c dfa.c  -fPIC -DPIC -o .libs/libmonadfa_la-dfa.o
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c analyze.c  -fPIC -DPIC -o .libs/libmonadfa_la-analyze.o
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c dfa.c -o libmonadfa_la-dfa.o >/dev/null 2>&1
-/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-external.lo `test -f 'external.c' || echo './'`external.c
+/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-makebasic.lo `test -f 'makebasic.c' || echo './'`makebasic.c
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c analyze.c -o libmonadfa_la-analyze.o >/dev/null 2>&1
-libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c external.c  -fPIC -DPIC -o .libs/libmonadfa_la-external.o
-libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c basic.c -o libmonadfa_la-basic.o >/dev/null 2>&1
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c external.c -o libmonadfa_la-external.o >/dev/null 2>&1
-/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-makebasic.lo `test -f 'makebasic.c' || echo './'`makebasic.c
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c makebasic.c  -fPIC -DPIC -o .libs/libmonadfa_la-makebasic.o
-/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-minimize.lo `test -f 'minimize.c' || echo './'`minimize.c
-libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c minimize.c  -fPIC -DPIC -o .libs/libmonadfa_la-minimize.o
-libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c minimize.c -o libmonadfa_la-minimize.o >/dev/null 2>&1
+/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-minimize.lo `test -f 'minimize.c' || echo './'`minimize.c
+/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-prefix.lo `test -f 'prefix.c' || echo './'`prefix.c
+libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c basic.c -o libmonadfa_la-basic.o >/dev/null 2>&1
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c makebasic.c -o libmonadfa_la-makebasic.o >/dev/null 2>&1
-/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-prefix.lo `test -f 'prefix.c' || echo './'`prefix.c
+libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c minimize.c  -fPIC -DPIC -o .libs/libmonadfa_la-minimize.o
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c prefix.c  -fPIC -DPIC -o .libs/libmonadfa_la-prefix.o
-/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-printdfa.lo `test -f 'printdfa.c' || echo './'`printdfa.c
-/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-product.lo `test -f 'product.c' || echo './'`product.c
-libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c printdfa.c  -fPIC -DPIC -o .libs/libmonadfa_la-printdfa.o
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c prefix.c -o libmonadfa_la-prefix.o >/dev/null 2>&1
+libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c minimize.c -o libmonadfa_la-minimize.o >/dev/null 2>&1
+/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-printdfa.lo `test -f 'printdfa.c' || echo './'`printdfa.c
+/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-product.lo `test -f 'product.c' || echo './'`product.c
+/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-project.lo `test -f 'project.c' || echo './'`project.c
+libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c printdfa.c  -fPIC -DPIC -o .libs/libmonadfa_la-printdfa.o
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c product.c  -fPIC -DPIC -o .libs/libmonadfa_la-product.o
-/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-project.lo `test -f 'project.c' || echo './'`project.c
-libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c product.c -o libmonadfa_la-product.o >/dev/null 2>&1
+/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-quotient.lo `test -f 'quotient.c' || echo './'`quotient.c
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c project.c  -fPIC -DPIC -o .libs/libmonadfa_la-project.o
+libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c product.c -o libmonadfa_la-product.o >/dev/null 2>&1
+libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c quotient.c  -fPIC -DPIC -o .libs/libmonadfa_la-quotient.o
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c printdfa.c -o libmonadfa_la-printdfa.o >/dev/null 2>&1
-/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonadfa_la-quotient.lo `test -f 'quotient.c' || echo './'`quotient.c
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c project.c -o libmonadfa_la-project.o >/dev/null 2>&1
-libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c quotient.c  -fPIC -DPIC -o .libs/libmonadfa_la-quotient.o
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c quotient.c -o libmonadfa_la-quotient.o >/dev/null 2>&1
-/bin/bash ../libtool  --tag=CC   --mode=link gcc  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -version-info 1:4 -Wl,-z,relro -o libmonadfa.la -rpath /usr/lib/arm-linux-gnueabihf libmonadfa_la-analyze.lo libmonadfa_la-basic.lo libmonadfa_la-dfa.lo libmonadfa_la-external.lo libmonadfa_la-makebasic.lo libmonadfa_la-minimize.lo libmonadfa_la-prefix.lo libmonadfa_la-printdfa.lo libmonadfa_la-product.lo libmonadfa_la-project.lo libmonadfa_la-quotient.lo ../Mem/libmonamem.la ../BDD/libmonabdd.la 
+/bin/sh ../libtool  --tag=CC   --mode=link gcc  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -version-info 1:4 -Wl,-z,relro -o libmonadfa.la -rpath /usr/lib/arm-linux-gnueabihf libmonadfa_la-analyze.lo libmonadfa_la-basic.lo libmonadfa_la-dfa.lo libmonadfa_la-external.lo libmonadfa_la-makebasic.lo libmonadfa_la-minimize.lo libmonadfa_la-prefix.lo libmonadfa_la-printdfa.lo libmonadfa_la-product.lo libmonadfa_la-project.lo libmonadfa_la-quotient.lo ../Mem/libmonamem.la ../BDD/libmonabdd.la 
 libtool: link: gcc -shared  -fPIC -DPIC  .libs/libmonadfa_la-analyze.o .libs/libmonadfa_la-basic.o .libs/libmonadfa_la-dfa.o .libs/libmonadfa_la-external.o .libs/libmonadfa_la-makebasic.o .libs/libmonadfa_la-minimize.o .libs/libmonadfa_la-prefix.o .libs/libmonadfa_la-printdfa.o .libs/libmonadfa_la-product.o .libs/libmonadfa_la-project.o .libs/libmonadfa_la-quotient.o   -Wl,-rpath -Wl,/build/reproducible-path/mona-1.4-18/Mem/.libs -Wl,-rpath -Wl,/build/reproducible-path/mona-1.4-18/BDD/.libs ../Mem/.libs/libmonamem.so ../BDD/.libs/libmonabdd.so  -g -O2 -fstack-protector-strong -O3 -Wl,-z -Wl,relro   -Wl,-soname -Wl,libmonadfa.so.1 -o .libs/libmonadfa.so.1.0.4
 libtool: link: (cd ".libs" && rm -f "libmonadfa.so.1" && ln -s "libmonadfa.so.1.0.4" "libmonadfa.so.1")
 libtool: link: (cd ".libs" && rm -f "libmonadfa.so" && ln -s "libmonadfa.so.1.0.4" "libmonadfa.so")
@@ -572,67 +608,67 @@
 make[3]: Leaving directory '/build/reproducible-path/mona-1.4-18/DFA'
 Making all in GTA
 make[3]: Entering directory '/build/reproducible-path/mona-1.4-18/GTA'
-/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-analyze.lo `test -f 'analyze.c' || echo './'`analyze.c
-/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-analyze_acceptance.lo `test -f 'analyze_acceptance.c' || echo './'`analyze_acceptance.c
-/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-basic.lo `test -f 'basic.c' || echo './'`basic.c
+/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-analyze.lo `test -f 'analyze.c' || echo './'`analyze.c
+/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-analyze_acceptance.lo `test -f 'analyze_acceptance.c' || echo './'`analyze_acceptance.c
+/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-basic.lo `test -f 'basic.c' || echo './'`basic.c
+/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-copy.lo `test -f 'copy.c' || echo './'`copy.c
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c analyze.c  -fPIC -DPIC -o .libs/libmonagta_la-analyze.o
-libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c analyze_acceptance.c  -fPIC -DPIC -o .libs/libmonagta_la-analyze_acceptance.o
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c basic.c  -fPIC -DPIC -o .libs/libmonagta_la-basic.o
-libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c analyze_acceptance.c -o libmonagta_la-analyze_acceptance.o >/dev/null 2>&1
-libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c analyze.c -o libmonagta_la-analyze.o >/dev/null 2>&1
-/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-copy.lo `test -f 'copy.c' || echo './'`copy.c
+libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c analyze_acceptance.c  -fPIC -DPIC -o .libs/libmonagta_la-analyze_acceptance.o
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c copy.c  -fPIC -DPIC -o .libs/libmonagta_la-copy.o
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c copy.c -o libmonagta_la-copy.o >/dev/null 2>&1
-/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-dyn.lo `test -f 'dyn.c' || echo './'`dyn.c
+/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-dyn.lo `test -f 'dyn.c' || echo './'`dyn.c
+libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c analyze_acceptance.c -o libmonagta_la-analyze_acceptance.o >/dev/null 2>&1
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c dyn.c  -fPIC -DPIC -o .libs/libmonagta_la-dyn.o
-libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c basic.c -o libmonagta_la-basic.o >/dev/null 2>&1
-/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-external.lo `test -f 'external.c' || echo './'`external.c
-libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c external.c  -fPIC -DPIC -o .libs/libmonagta_la-external.o
+libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c analyze.c -o libmonagta_la-analyze.o >/dev/null 2>&1
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c dyn.c -o libmonagta_la-dyn.o >/dev/null 2>&1
-/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-gta.lo `test -f 'gta.c' || echo './'`gta.c
+/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-external.lo `test -f 'external.c' || echo './'`external.c
+libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c external.c  -fPIC -DPIC -o .libs/libmonagta_la-external.o
+/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-gta.lo `test -f 'gta.c' || echo './'`gta.c
+libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c basic.c -o libmonagta_la-basic.o >/dev/null 2>&1
+/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-makebasic.lo `test -f 'makebasic.c' || echo './'`makebasic.c
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c gta.c  -fPIC -DPIC -o .libs/libmonagta_la-gta.o
-libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c gta.c -o libmonagta_la-gta.o >/dev/null 2>&1
-libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c external.c -o libmonagta_la-external.o >/dev/null 2>&1
-/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-makebasic.lo `test -f 'makebasic.c' || echo './'`makebasic.c
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c makebasic.c  -fPIC -DPIC -o .libs/libmonagta_la-makebasic.o
-/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-minimize.lo `test -f 'minimize.c' || echo './'`minimize.c
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c makebasic.c -o libmonagta_la-makebasic.o >/dev/null 2>&1
+libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c gta.c -o libmonagta_la-gta.o >/dev/null 2>&1
+libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c external.c -o libmonagta_la-external.o >/dev/null 2>&1
+/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-minimize.lo `test -f 'minimize.c' || echo './'`minimize.c
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c minimize.c  -fPIC -DPIC -o .libs/libmonagta_la-minimize.o
-/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-negation.lo `test -f 'negation.c' || echo './'`negation.c
+/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-negation.lo `test -f 'negation.c' || echo './'`negation.c
+/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-pairhash.lo `test -f 'pairhash.c' || echo './'`pairhash.c
+libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c pairhash.c  -fPIC -DPIC -o .libs/libmonagta_la-pairhash.o
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c negation.c  -fPIC -DPIC -o .libs/libmonagta_la-negation.o
-/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-pairhash.lo `test -f 'pairhash.c' || echo './'`pairhash.c
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c negation.c -o libmonagta_la-negation.o >/dev/null 2>&1
-/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-printgta.lo `test -f 'printgta.c' || echo './'`printgta.c
-libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c pairhash.c  -fPIC -DPIC -o .libs/libmonagta_la-pairhash.o
+/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-printgta.lo `test -f 'printgta.c' || echo './'`printgta.c
+libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c pairhash.c -o libmonagta_la-pairhash.o >/dev/null 2>&1
+/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-product.lo `test -f 'product.c' || echo './'`product.c
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c printgta.c  -fPIC -DPIC -o .libs/libmonagta_la-printgta.o
+/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-project.lo `test -f 'project.c' || echo './'`project.c
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c minimize.c -o libmonagta_la-minimize.o >/dev/null 2>&1
-libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c pairhash.c -o libmonagta_la-pairhash.o >/dev/null 2>&1
-/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-product.lo `test -f 'product.c' || echo './'`product.c
-libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c printgta.c -o libmonagta_la-printgta.o >/dev/null 2>&1
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c product.c  -fPIC -DPIC -o .libs/libmonagta_la-product.o
-libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c product.c -o libmonagta_la-product.o >/dev/null 2>&1
-/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-project.lo `test -f 'project.c' || echo './'`project.c
-/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-projset.lo `test -f 'projset.c' || echo './'`projset.c
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c project.c  -fPIC -DPIC -o .libs/libmonagta_la-project.o
+libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c product.c -o libmonagta_la-product.o >/dev/null 2>&1
+libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c printgta.c -o libmonagta_la-printgta.o >/dev/null 2>&1
+/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-projset.lo `test -f 'projset.c' || echo './'`projset.c
+libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c project.c -o libmonagta_la-project.o >/dev/null 2>&1
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c projset.c  -fPIC -DPIC -o .libs/libmonagta_la-projset.o
-/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-reachable.lo `test -f 'reachable.c' || echo './'`reachable.c
+/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-reachable.lo `test -f 'reachable.c' || echo './'`reachable.c
+/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-replace_indices.lo `test -f 'replace_indices.c' || echo './'`replace_indices.c
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c projset.c -o libmonagta_la-projset.o >/dev/null 2>&1
-libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c reachable.c  -fPIC -DPIC -o .libs/libmonagta_la-reachable.o
-/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-replace_indices.lo `test -f 'replace_indices.c' || echo './'`replace_indices.c
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c replace_indices.c  -fPIC -DPIC -o .libs/libmonagta_la-replace_indices.o
+libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c reachable.c  -fPIC -DPIC -o .libs/libmonagta_la-reachable.o
+/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-restrict.lo `test -f 'restrict.c' || echo './'`restrict.c
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c replace_indices.c -o libmonagta_la-replace_indices.o >/dev/null 2>&1
-libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c reachable.c -o libmonagta_la-reachable.o >/dev/null 2>&1
-/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-restrict.lo `test -f 'restrict.c' || echo './'`restrict.c
-libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c project.c -o libmonagta_la-project.o >/dev/null 2>&1
+/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-subsets.lo `test -f 'subsets.c' || echo './'`subsets.c
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c restrict.c  -fPIC -DPIC -o .libs/libmonagta_la-restrict.o
+/bin/sh ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-types.lo `test -f 'types.c' || echo './'`types.c
+libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c reachable.c -o libmonagta_la-reachable.o >/dev/null 2>&1
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c restrict.c -o libmonagta_la-restrict.o >/dev/null 2>&1
-/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-subsets.lo `test -f 'subsets.c' || echo './'`subsets.c
-/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o libmonagta_la-types.lo `test -f 'types.c' || echo './'`types.c
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c subsets.c  -fPIC -DPIC -o .libs/libmonagta_la-subsets.o
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c types.c  -fPIC -DPIC -o .libs/libmonagta_la-types.o
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c subsets.c -o libmonagta_la-subsets.o >/dev/null 2>&1
 libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c types.c -o libmonagta_la-types.o >/dev/null 2>&1
-/bin/bash ../libtool  --tag=CC   --mode=link gcc  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -version-info 1:4 -Wl,-z,relro -o libmonagta.la -rpath /usr/lib/arm-linux-gnueabihf libmonagta_la-analyze.lo libmonagta_la-analyze_acceptance.lo libmonagta_la-basic.lo libmonagta_la-copy.lo libmonagta_la-dyn.lo libmonagta_la-external.lo libmonagta_la-gta.lo libmonagta_la-makebasic.lo libmonagta_la-minimize.lo libmonagta_la-negation.lo libmonagta_la-pairhash.lo libmonagta_la-printgta.lo libmonagta_la-product.lo libmonagta_la-project.lo libmonagta_la-projset.lo libmonagta_la-reachable.lo libmonagta_la-replace_indices.lo libmonagta_la-restrict.lo libmonagta_la-subsets.lo libmonagta_la-types.lo ../Mem/libmonamem.la ../BDD/libmonabdd.la 
+/bin/sh ../libtool  --tag=CC   --mode=link gcc  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -version-info 1:4 -Wl,-z,relro -o libmonagta.la -rpath /usr/lib/arm-linux-gnueabihf libmonagta_la-analyze.lo libmonagta_la-analyze_acceptance.lo libmonagta_la-basic.lo libmonagta_la-copy.lo libmonagta_la-dyn.lo libmonagta_la-external.lo libmonagta_la-gta.lo libmonagta_la-makebasic.lo libmonagta_la-minimize.lo libmonagta_la-negation.lo libmonagta_la-pairhash.lo libmonagta_la-printgta.lo libmonagta_la-product.lo libmonagta_la-project.lo libmonagta_la-projset.lo libmonagta_la-reachable.lo libmonagta_la-replace_indices.lo libmonagta_la-restrict.lo libmonagta_la-subsets.lo libmonagta_la-types.lo ../Mem/libmonamem.la ../BDD/libmonabdd.la 
 libtool: link: gcc -shared  -fPIC -DPIC  .libs/libmonagta_la-analyze.o .libs/libmonagta_la-analyze_acceptance.o .libs/libmonagta_la-basic.o .libs/libmonagta_la-copy.o .libs/libmonagta_la-dyn.o .libs/libmonagta_la-external.o .libs/libmonagta_la-gta.o .libs/libmonagta_la-makebasic.o .libs/libmonagta_la-minimize.o .libs/libmonagta_la-negation.o .libs/libmonagta_la-pairhash.o .libs/libmonagta_la-printgta.o .libs/libmonagta_la-product.o .libs/libmonagta_la-project.o .libs/libmonagta_la-projset.o .libs/libmonagta_la-reachable.o .libs/libmonagta_la-replace_indices.o .libs/libmonagta_la-restrict.o .libs/libmonagta_la-subsets.o .libs/libmonagta_la-types.o   -Wl,-rpath -Wl,/build/reproducible-path/mona-1.4-18/Mem/.libs -Wl,-rpath -Wl,/build/reproducible-path/mona-1.4-18/BDD/.libs ../Mem/.libs/libmonamem.so ../BDD/.libs/libmonabdd.so  -g -O2 -fstack-protector-strong -O3 -Wl,-z -Wl,relro   -Wl,-soname -Wl,libmonagta.so.1 -o .libs/libmonagta.so.1.0.4
 libtool: link: (cd ".libs" && rm -f "libmonagta.so.1" && ln -s "libmonagta.so.1.0.4" "libmonagta.so.1")
 libtool: link: (cd ".libs" && rm -f "libmonagta.so" && ln -s "libmonagta.so.1.0.4" "libmonagta.so")
@@ -642,19 +678,19 @@
 make[3]: Leaving directory '/build/reproducible-path/mona-1.4-18/GTA'
 Making all in Front
 make[3]: Entering directory '/build/reproducible-path/mona-1.4-18/Front'
-/bin/bash ../config/ylwrap scanner.lpp lex.yy.c scanner.cpp -- flex -l 
-/bin/bash ../config/ylwrap parser.ypp y.tab.c parser.cpp y.tab.h `echo parser.cpp | sed -e s/cc$/hh/ -e s/cpp$/hpp/ -e s/cxx$/hxx/ -e s/c++$/h++/ -e s/c$/h/` y.output parser.output -- bison -y -d 
+/bin/sh ../config/ylwrap scanner.lpp lex.yy.c scanner.cpp -- flex -l 
+/bin/sh ../config/ylwrap parser.ypp y.tab.c parser.cpp y.tab.h `echo parser.cpp | sed -e s/cc$/hh/ -e s/cpp$/hpp/ -e s/cxx$/hxx/ -e s/c++$/h++/ -e s/c$/h/` y.output parser.output -- bison -y -d 
 updating parser.hpp
 make  all-am
 make[4]: Entering directory '/build/reproducible-path/mona-1.4-18/Front'
 g++ -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-ast.o `test -f 'ast.cpp' || echo './'`ast.cpp
 g++ -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-astdump.o `test -f 'astdump.cpp' || echo './'`astdump.cpp
+cc1plus: warning: command-line option '-fgnu89-inline' is valid for C/ObjC but not for C++
 g++ -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-code.o `test -f 'code.cpp' || echo './'`code.cpp
+g++ -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-codedump.o `test -f 'codedump.cpp' || echo './'`codedump.cpp
 cc1plus: warning: command-line option '-fgnu89-inline' is valid for C/ObjC but not for C++
 cc1plus: warning: command-line option '-fgnu89-inline' is valid for C/ObjC but not for C++
 cc1plus: warning: command-line option '-fgnu89-inline' is valid for C/ObjC but not for C++
-g++ -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-codedump.o `test -f 'codedump.cpp' || echo './'`codedump.cpp
-cc1plus: warning: command-line option '-fgnu89-inline' is valid for C/ObjC but not for C++
 g++ -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-codesubst.o `test -f 'codesubst.cpp' || echo './'`codesubst.cpp
 cc1plus: warning: command-line option '-fgnu89-inline' is valid for C/ObjC but not for C++
 g++ -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-codetable.o `test -f 'codetable.cpp' || echo './'`codetable.cpp
@@ -672,13 +708,13 @@
 g++ -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-offsets.o `test -f 'offsets.cpp' || echo './'`offsets.cpp
 cc1plus: warning: command-line option '-fgnu89-inline' is valid for C/ObjC but not for C++
 g++ -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-parser.o `test -f 'parser.cpp' || echo './'`parser.cpp
-cc1plus: warning: command-line option '-fgnu89-inline' is valid for C/ObjC but not for C++
 g++ -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-predlib.o `test -f 'predlib.cpp' || echo './'`predlib.cpp
-cc1plus: warning: command-line option '-fgnu89-inline' is valid for C/ObjC but not for C++
 g++ -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-printline.o `test -f 'printline.cpp' || echo './'`printline.cpp
-cc1plus: warning: command-line option '-fgnu89-inline' is valid for C/ObjC but not for C++
 g++ -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-reduce.o `test -f 'reduce.cpp' || echo './'`reduce.cpp
 cc1plus: warning: command-line option '-fgnu89-inline' is valid for C/ObjC but not for C++
+cc1plus: warning: command-line option '-fgnu89-inline' is valid for C/ObjC but not for C++
+cc1plus: warning: command-line option '-fgnu89-inline' is valid for C/ObjC but not for C++
+cc1plus: warning: command-line option '-fgnu89-inline' is valid for C/ObjC but not for C++
 g++ -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-scanner.o `test -f 'scanner.cpp' || echo './'`scanner.cpp
 cc1plus: warning: command-line option '-fgnu89-inline' is valid for C/ObjC but not for C++
 g++ -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-signature.o `test -f 'signature.cpp' || echo './'`signature.cpp
@@ -690,10 +726,10 @@
 g++ -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-symboltable.o `test -f 'symboltable.cpp' || echo './'`symboltable.cpp
 cc1plus: warning: command-line option '-fgnu89-inline' is valid for C/ObjC but not for C++
 g++ -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-timer.o `test -f 'timer.cpp' || echo './'`timer.cpp
-cc1plus: warning: command-line option '-fgnu89-inline' is valid for C/ObjC but not for C++
 g++ -DHAVE_CONFIG_H -I. -I..  -I ../BDD -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o mona-untyped.o `test -f 'untyped.cpp' || echo './'`untyped.cpp
 cc1plus: warning: command-line option '-fgnu89-inline' is valid for C/ObjC but not for C++
-/bin/bash ../libtool  --tag=CXX   --mode=link g++  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare  -Wl,-z,relro -o mona mona-ast.o mona-astdump.o mona-code.o mona-codedump.o mona-codesubst.o mona-codetable.o mona-freevars.o mona-ident.o mona-lib.o mona-makeguide.o mona-mona.o mona-offsets.o mona-parser.o mona-predlib.o mona-printline.o mona-reduce.o mona-scanner.o mona-signature.o mona-st_dfa.o mona-st_gta.o mona-symboltable.o mona-timer.o mona-untyped.o ../Mem/libmonamem.la ../BDD/libmonabdd.la ../DFA/libmonadfa.la ../GTA/libmonagta.la 
+cc1plus: warning: command-line option '-fgnu89-inline' is valid for C/ObjC but not for C++
+/bin/sh ../libtool  --tag=CXX   --mode=link g++  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare  -Wl,-z,relro -o mona mona-ast.o mona-astdump.o mona-code.o mona-codedump.o mona-codesubst.o mona-codetable.o mona-freevars.o mona-ident.o mona-lib.o mona-makeguide.o mona-mona.o mona-offsets.o mona-parser.o mona-predlib.o mona-printline.o mona-reduce.o mona-scanner.o mona-signature.o mona-st_dfa.o mona-st_gta.o mona-symboltable.o mona-timer.o mona-untyped.o ../Mem/libmonamem.la ../BDD/libmonabdd.la ../DFA/libmonadfa.la ../GTA/libmonagta.la 
 libtool: link: g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -Wl,-z -Wl,relro -o .libs/mona mona-ast.o mona-astdump.o mona-code.o mona-codedump.o mona-codesubst.o mona-codetable.o mona-freevars.o mona-ident.o mona-lib.o mona-makeguide.o mona-mona.o mona-offsets.o mona-parser.o mona-predlib.o mona-printline.o mona-reduce.o mona-scanner.o mona-signature.o mona-st_dfa.o mona-st_gta.o mona-symboltable.o mona-timer.o mona-untyped.o  ../Mem/.libs/libmonamem.so ../BDD/.libs/libmonabdd.so ../DFA/.libs/libmonadfa.so ../GTA/.libs/libmonagta.so
 make[4]: Leaving directory '/build/reproducible-path/mona-1.4-18/Front'
 make[3]: Leaving directory '/build/reproducible-path/mona-1.4-18/Front'
@@ -703,9 +739,9 @@
 gcc -DHAVE_CONFIG_H -I. -I..   -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o dfalib.o dfalib.c
 gcc -DHAVE_CONFIG_H -I. -I..   -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o gta2dot.o gta2dot.c
 gcc -DHAVE_CONFIG_H -I. -I..   -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o gtalib.o gtalib.c
-/bin/bash ../libtool  --tag=CC   --mode=link gcc  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare  -Wl,-z,relro -o dfa2dot dfa2dot.o dfalib.o  
+/bin/sh ../libtool  --tag=CC   --mode=link gcc  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare  -Wl,-z,relro -o dfa2dot dfa2dot.o dfalib.o  
 libtool: link: gcc -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -Wl,-z -Wl,relro -o dfa2dot dfa2dot.o dfalib.o 
-/bin/bash ../libtool  --tag=CC   --mode=link gcc  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare  -Wl,-z,relro -o gta2dot gta2dot.o gtalib.o  
+/bin/sh ../libtool  --tag=CC   --mode=link gcc  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare  -Wl,-z,relro -o gta2dot gta2dot.o gtalib.o  
 libtool: link: gcc -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -Wl,-z -Wl,relro -o gta2dot gta2dot.o gtalib.o 
 make[3]: Leaving directory '/build/reproducible-path/mona-1.4-18/Lib'
 Making all in Examples
@@ -714,21 +750,21 @@
 gcc -DHAVE_CONFIG_H -I. -I..  -I../Mem -I../BDD -I../DFA -I../GTA -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o gta_example.o gta_example.c
 gcc -DHAVE_CONFIG_H -I. -I..  -I../Mem -I../BDD -I../DFA -I../GTA -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o presburger_transduction.o presburger_transduction.c
 gcc -DHAVE_CONFIG_H -I. -I..  -I../Mem -I../BDD -I../DFA -I../GTA -Wdate-time -D_FORTIFY_SOURCE=2  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -c -o presburger_analysis.o presburger_analysis.c
-/bin/bash ../libtool  --tag=CC   --mode=link gcc  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare  -Wl,-z,relro -o bdd_example bdd_example.o ../Mem/libmonamem.la ../BDD/libmonabdd.la 
-/bin/bash ../libtool  --tag=CC   --mode=link gcc  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare  -Wl,-z,relro -o gta_example gta_example.o ../Mem/libmonamem.la ../BDD/libmonabdd.la ../GTA/libmonagta.la 
-/bin/bash ../libtool  --tag=CC   --mode=link gcc  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare  -Wl,-z,relro -o presburger_transduction presburger_transduction.o ../Mem/libmonamem.la ../BDD/libmonabdd.la ../DFA/libmonadfa.la 
+/bin/sh ../libtool  --tag=CC   --mode=link gcc  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare  -Wl,-z,relro -o bdd_example bdd_example.o ../Mem/libmonamem.la ../BDD/libmonabdd.la 
+/bin/sh ../libtool  --tag=CC   --mode=link gcc  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare  -Wl,-z,relro -o presburger_transduction presburger_transduction.o ../Mem/libmonamem.la ../BDD/libmonabdd.la ../DFA/libmonadfa.la 
+/bin/sh ../libtool  --tag=CC   --mode=link gcc  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare  -Wl,-z,relro -o presburger_analysis presburger_analysis.o ../Mem/libmonamem.la ../BDD/libmonabdd.la ../DFA/libmonadfa.la 
+/bin/sh ../libtool  --tag=CC   --mode=link gcc  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare  -Wl,-z,relro -o gta_example gta_example.o ../Mem/libmonamem.la ../BDD/libmonabdd.la ../GTA/libmonagta.la 
 libtool: link: gcc -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -Wl,-z -Wl,relro -o .libs/bdd_example bdd_example.o  ../Mem/.libs/libmonamem.so ../BDD/.libs/libmonabdd.so
-libtool: link: gcc -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -Wl,-z -Wl,relro -o .libs/gta_example gta_example.o  ../Mem/.libs/libmonamem.so ../BDD/.libs/libmonabdd.so ../GTA/.libs/libmonagta.so
 libtool: link: gcc -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -Wl,-z -Wl,relro -o .libs/presburger_transduction presburger_transduction.o  ../Mem/.libs/libmonamem.so ../BDD/.libs/libmonabdd.so ../DFA/.libs/libmonadfa.so
-/bin/bash ../libtool  --tag=CC   --mode=link gcc  -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare  -Wl,-z,relro -o presburger_analysis presburger_analysis.o ../Mem/libmonamem.la ../BDD/libmonabdd.la ../DFA/libmonadfa.la 
 libtool: link: gcc -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -Wl,-z -Wl,relro -o .libs/presburger_analysis presburger_analysis.o  ../Mem/.libs/libmonamem.so ../BDD/.libs/libmonabdd.so ../DFA/.libs/libmonadfa.so
+libtool: link: gcc -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -Wl,-z -Wl,relro -o .libs/gta_example gta_example.o  ../Mem/.libs/libmonamem.so ../BDD/.libs/libmonabdd.so ../GTA/.libs/libmonagta.so
 make[3]: Leaving directory '/build/reproducible-path/mona-1.4-18/Examples'
 make[3]: Entering directory '/build/reproducible-path/mona-1.4-18'
 make[3]: Leaving directory '/build/reproducible-path/mona-1.4-18'
 make[2]: Leaving directory '/build/reproducible-path/mona-1.4-18'
 make[1]: Leaving directory '/build/reproducible-path/mona-1.4-18'
    dh_auto_test
-	make -j3 check "TESTSUITEFLAGS=-j3 --verbose" VERBOSE=1
+	make -j4 check "TESTSUITEFLAGS=-j4 --verbose" VERBOSE=1
 make[1]: Entering directory '/build/reproducible-path/mona-1.4-18'
 Making check in config
 make[2]: Entering directory '/build/reproducible-path/mona-1.4-18/config'
@@ -785,7 +821,7 @@
 make[2]: Entering directory '/build/reproducible-path/mona-1.4-18/Mem'
 make[3]: Entering directory '/build/reproducible-path/mona-1.4-18/Mem'
  /usr/bin/mkdir -p '/build/reproducible-path/mona-1.4-18/debian/mona/usr/lib/arm-linux-gnueabihf'
- /bin/bash ../libtool   --mode=install /usr/bin/install -c   libmonamem.la '/build/reproducible-path/mona-1.4-18/debian/mona/usr/lib/arm-linux-gnueabihf'
+ /bin/sh ../libtool   --mode=install /usr/bin/install -c   libmonamem.la '/build/reproducible-path/mona-1.4-18/debian/mona/usr/lib/arm-linux-gnueabihf'
 libtool: install: /usr/bin/install -c .libs/libmonamem.so.1.0.4 /build/reproducible-path/mona-1.4-18/debian/mona/usr/lib/arm-linux-gnueabihf/libmonamem.so.1.0.4
 libtool: install: (cd /build/reproducible-path/mona-1.4-18/debian/mona/usr/lib/arm-linux-gnueabihf && { ln -s -f libmonamem.so.1.0.4 libmonamem.so.1 || { rm -f libmonamem.so.1 && ln -s libmonamem.so.1.0.4 libmonamem.so.1; }; })
 libtool: install: (cd /build/reproducible-path/mona-1.4-18/debian/mona/usr/lib/arm-linux-gnueabihf && { ln -s -f libmonamem.so.1.0.4 libmonamem.so || { rm -f libmonamem.so && ln -s libmonamem.so.1.0.4 libmonamem.so; }; })
@@ -802,9 +838,9 @@
 make[2]: Entering directory '/build/reproducible-path/mona-1.4-18/BDD'
 make[3]: Entering directory '/build/reproducible-path/mona-1.4-18/BDD'
  /usr/bin/mkdir -p '/build/reproducible-path/mona-1.4-18/debian/mona/usr/lib/arm-linux-gnueabihf'
- /bin/bash ../libtool   --mode=install /usr/bin/install -c   libmonabdd.la '/build/reproducible-path/mona-1.4-18/debian/mona/usr/lib/arm-linux-gnueabihf'
+ /bin/sh ../libtool   --mode=install /usr/bin/install -c   libmonabdd.la '/build/reproducible-path/mona-1.4-18/debian/mona/usr/lib/arm-linux-gnueabihf'
 libtool: warning: relinking 'libmonabdd.la'
-libtool: install: (cd /build/reproducible-path/mona-1.4-18/BDD; /bin/bash "/build/reproducible-path/mona-1.4-18/libtool"  --tag CC --mode=relink gcc -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -version-info 1:4 -Wl,-z,relro -o libmonabdd.la -rpath /usr/lib/arm-linux-gnueabihf bdd.lo bdd_cache.lo bdd_double.lo bdd_dump.lo bdd_external.lo bdd_manager.lo bdd_trace.lo hash.lo ../Mem/libmonamem.la -inst-prefix-dir /build/reproducible-path/mona-1.4-18/debian/mona)
+libtool: install: (cd /build/reproducible-path/mona-1.4-18/BDD; /bin/sh "/build/reproducible-path/mona-1.4-18/libtool"  --tag CC --mode=relink gcc -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -version-info 1:4 -Wl,-z,relro -o libmonabdd.la -rpath /usr/lib/arm-linux-gnueabihf bdd.lo bdd_cache.lo bdd_double.lo bdd_dump.lo bdd_external.lo bdd_manager.lo bdd_trace.lo hash.lo ../Mem/libmonamem.la -inst-prefix-dir /build/reproducible-path/mona-1.4-18/debian/mona)
 libtool: relink: gcc -shared  -fPIC -DPIC  .libs/bdd.o .libs/bdd_cache.o .libs/bdd_double.o .libs/bdd_dump.o .libs/bdd_external.o .libs/bdd_manager.o .libs/bdd_trace.o .libs/hash.o   -L/build/reproducible-path/mona-1.4-18/debian/mona/usr/lib/arm-linux-gnueabihf -L/usr/lib/arm-linux-gnueabihf -lmonamem  -g -O2 -fstack-protector-strong -O3 -Wl,-z -Wl,relro   -Wl,-soname -Wl,libmonabdd.so.1 -o .libs/libmonabdd.so.1.0.4
 libtool: install: /usr/bin/install -c .libs/libmonabdd.so.1.0.4T /build/reproducible-path/mona-1.4-18/debian/mona/usr/lib/arm-linux-gnueabihf/libmonabdd.so.1.0.4
 libtool: install: (cd /build/reproducible-path/mona-1.4-18/debian/mona/usr/lib/arm-linux-gnueabihf && { ln -s -f libmonabdd.so.1.0.4 libmonabdd.so.1 || { rm -f libmonabdd.so.1 && ln -s libmonabdd.so.1.0.4 libmonabdd.so.1; }; })
@@ -822,9 +858,9 @@
 make[2]: Entering directory '/build/reproducible-path/mona-1.4-18/DFA'
 make[3]: Entering directory '/build/reproducible-path/mona-1.4-18/DFA'
  /usr/bin/mkdir -p '/build/reproducible-path/mona-1.4-18/debian/mona/usr/lib/arm-linux-gnueabihf'
- /bin/bash ../libtool   --mode=install /usr/bin/install -c   libmonadfa.la '/build/reproducible-path/mona-1.4-18/debian/mona/usr/lib/arm-linux-gnueabihf'
+ /bin/sh ../libtool   --mode=install /usr/bin/install -c   libmonadfa.la '/build/reproducible-path/mona-1.4-18/debian/mona/usr/lib/arm-linux-gnueabihf'
 libtool: warning: relinking 'libmonadfa.la'
-libtool: install: (cd /build/reproducible-path/mona-1.4-18/DFA; /bin/bash "/build/reproducible-path/mona-1.4-18/libtool"  --tag CC --mode=relink gcc -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -version-info 1:4 -Wl,-z,relro -o libmonadfa.la -rpath /usr/lib/arm-linux-gnueabihf libmonadfa_la-analyze.lo libmonadfa_la-basic.lo libmonadfa_la-dfa.lo libmonadfa_la-external.lo libmonadfa_la-makebasic.lo libmonadfa_la-minimize.lo libmonadfa_la-prefix.lo libmonadfa_la-printdfa.lo libmonadfa_la-product.lo libmonadfa_la-project.lo libmonadfa_la-quotient.lo ../Mem/libmonamem.la ../BDD/libmonabdd.la -inst-prefix-dir /build/reproducible-path/mona-1.4-18/debian/mona)
+libtool: install: (cd /build/reproducible-path/mona-1.4-18/DFA; /bin/sh "/build/reproducible-path/mona-1.4-18/libtool"  --tag CC --mode=relink gcc -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -version-info 1:4 -Wl,-z,relro -o libmonadfa.la -rpath /usr/lib/arm-linux-gnueabihf libmonadfa_la-analyze.lo libmonadfa_la-basic.lo libmonadfa_la-dfa.lo libmonadfa_la-external.lo libmonadfa_la-makebasic.lo libmonadfa_la-minimize.lo libmonadfa_la-prefix.lo libmonadfa_la-printdfa.lo libmonadfa_la-product.lo libmonadfa_la-project.lo libmonadfa_la-quotient.lo ../Mem/libmonamem.la ../BDD/libmonabdd.la -inst-prefix-dir /build/reproducible-path/mona-1.4-18/debian/mona)
 libtool: relink: gcc -shared  -fPIC -DPIC  .libs/libmonadfa_la-analyze.o .libs/libmonadfa_la-basic.o .libs/libmonadfa_la-dfa.o .libs/libmonadfa_la-external.o .libs/libmonadfa_la-makebasic.o .libs/libmonadfa_la-minimize.o .libs/libmonadfa_la-prefix.o .libs/libmonadfa_la-printdfa.o .libs/libmonadfa_la-product.o .libs/libmonadfa_la-project.o .libs/libmonadfa_la-quotient.o   -L/build/reproducible-path/mona-1.4-18/debian/mona/usr/lib/arm-linux-gnueabihf -L/usr/lib/arm-linux-gnueabihf -lmonamem -lmonabdd  -g -O2 -fstack-protector-strong -O3 -Wl,-z -Wl,relro   -Wl,-soname -Wl,libmonadfa.so.1 -o .libs/libmonadfa.so.1.0.4
 libtool: install: /usr/bin/install -c .libs/libmonadfa.so.1.0.4T /build/reproducible-path/mona-1.4-18/debian/mona/usr/lib/arm-linux-gnueabihf/libmonadfa.so.1.0.4
 libtool: install: (cd /build/reproducible-path/mona-1.4-18/debian/mona/usr/lib/arm-linux-gnueabihf && { ln -s -f libmonadfa.so.1.0.4 libmonadfa.so.1 || { rm -f libmonadfa.so.1 && ln -s libmonadfa.so.1.0.4 libmonadfa.so.1; }; })
@@ -842,9 +878,9 @@
 make[2]: Entering directory '/build/reproducible-path/mona-1.4-18/GTA'
 make[3]: Entering directory '/build/reproducible-path/mona-1.4-18/GTA'
  /usr/bin/mkdir -p '/build/reproducible-path/mona-1.4-18/debian/mona/usr/lib/arm-linux-gnueabihf'
- /bin/bash ../libtool   --mode=install /usr/bin/install -c   libmonagta.la '/build/reproducible-path/mona-1.4-18/debian/mona/usr/lib/arm-linux-gnueabihf'
+ /bin/sh ../libtool   --mode=install /usr/bin/install -c   libmonagta.la '/build/reproducible-path/mona-1.4-18/debian/mona/usr/lib/arm-linux-gnueabihf'
 libtool: warning: relinking 'libmonagta.la'
-libtool: install: (cd /build/reproducible-path/mona-1.4-18/GTA; /bin/bash "/build/reproducible-path/mona-1.4-18/libtool"  --tag CC --mode=relink gcc -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -version-info 1:4 -Wl,-z,relro -o libmonagta.la -rpath /usr/lib/arm-linux-gnueabihf libmonagta_la-analyze.lo libmonagta_la-analyze_acceptance.lo libmonagta_la-basic.lo libmonagta_la-copy.lo libmonagta_la-dyn.lo libmonagta_la-external.lo libmonagta_la-gta.lo libmonagta_la-makebasic.lo libmonagta_la-minimize.lo libmonagta_la-negation.lo libmonagta_la-pairhash.lo libmonagta_la-printgta.lo libmonagta_la-product.lo libmonagta_la-project.lo libmonagta_la-projset.lo libmonagta_la-reachable.lo libmonagta_la-replace_indices.lo libmonagta_la-restrict.lo libmonagta_la-subsets.lo libmonagta_la-types.lo ../Mem/libmonamem.la ../BDD/libmonabdd.la -inst-prefix-dir /build/reproducible-path/mona-1.4-18/debian/mona)
+libtool: install: (cd /build/reproducible-path/mona-1.4-18/GTA; /bin/sh "/build/reproducible-path/mona-1.4-18/libtool"  --tag CC --mode=relink gcc -g -O2 -ffile-prefix-map=/build/reproducible-path/mona-1.4-18=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fgnu89-inline -O3 -DNDEBUG -Wall -Wno-unused-function -Wno-unused-label -Wno-sign-compare -version-info 1:4 -Wl,-z,relro -o libmonagta.la -rpath /usr/lib/arm-linux-gnueabihf libmonagta_la-analyze.lo libmonagta_la-analyze_acceptance.lo libmonagta_la-basic.lo libmonagta_la-copy.lo libmonagta_la-dyn.lo libmonagta_la-external.lo libmonagta_la-gta.lo libmonagta_la-makebasic.lo libmonagta_la-minimize.lo libmonagta_la-negation.lo libmonagta_la-pairhash.lo libmonagta_la-printgta.lo libmonagta_la-product.lo libmonagta_la-project.lo libmonagta_la-projset.lo libmonagta_la-reachable.lo libmonagta_la-replace_indices.lo libmonagta_la-restrict.lo libmonagta_la-subsets.lo libmonagta_la-types.lo ../Mem/libmonamem.la ../BDD/libmonabdd.la -inst-prefix-dir /build/reproducible-path/mona-1.4-18/debian/mona)
 libtool: relink: gcc -shared  -fPIC -DPIC  .libs/libmonagta_la-analyze.o .libs/libmonagta_la-analyze_acceptance.o .libs/libmonagta_la-basic.o .libs/libmonagta_la-copy.o .libs/libmonagta_la-dyn.o .libs/libmonagta_la-external.o .libs/libmonagta_la-gta.o .libs/libmonagta_la-makebasic.o .libs/libmonagta_la-minimize.o .libs/libmonagta_la-negation.o .libs/libmonagta_la-pairhash.o .libs/libmonagta_la-printgta.o .libs/libmonagta_la-product.o .libs/libmonagta_la-project.o .libs/libmonagta_la-projset.o .libs/libmonagta_la-reachable.o .libs/libmonagta_la-replace_indices.o .libs/libmonagta_la-restrict.o .libs/libmonagta_la-subsets.o .libs/libmonagta_la-types.o   -L/build/reproducible-path/mona-1.4-18/debian/mona/usr/lib/arm-linux-gnueabihf -L/usr/lib/arm-linux-gnueabihf -lmonamem -lmonabdd  -g -O2 -fstack-protector-strong -O3 -Wl,-z -Wl,relro   -Wl,-soname -Wl,libmonagta.so.1 -o .libs/libmonagta.so.1.0.4
 libtool: install: /usr/bin/install -c .libs/libmonagta.so.1.0.4T /build/reproducible-path/mona-1.4-18/debian/mona/usr/lib/arm-linux-gnueabihf/libmonagta.so.1.0.4
 libtool: install: (cd /build/reproducible-path/mona-1.4-18/debian/mona/usr/lib/arm-linux-gnueabihf && { ln -s -f libmonagta.so.1.0.4 libmonagta.so.1 || { rm -f libmonagta.so.1 && ln -s libmonagta.so.1.0.4 libmonagta.so.1; }; })
@@ -864,7 +900,7 @@
 make[3]: Entering directory '/build/reproducible-path/mona-1.4-18/Front'
 make[4]: Entering directory '/build/reproducible-path/mona-1.4-18/Front'
  /usr/bin/mkdir -p '/build/reproducible-path/mona-1.4-18/debian/mona/usr/bin'
-  /bin/bash ../libtool   --mode=install /usr/bin/install -c mona '/build/reproducible-path/mona-1.4-18/debian/mona/usr/bin'
+  /bin/sh ../libtool   --mode=install /usr/bin/install -c mona '/build/reproducible-path/mona-1.4-18/debian/mona/usr/bin'
 libtool: warning: '../Mem/libmonamem.la' has not been installed in '/usr/lib/arm-linux-gnueabihf'
 libtool: warning: '../BDD/libmonabdd.la' has not been installed in '/usr/lib/arm-linux-gnueabihf'
 libtool: warning: '../DFA/libmonadfa.la' has not been installed in '/usr/lib/arm-linux-gnueabihf'
@@ -878,7 +914,7 @@
 make[2]: Entering directory '/build/reproducible-path/mona-1.4-18/Lib'
 make[3]: Entering directory '/build/reproducible-path/mona-1.4-18/Lib'
  /usr/bin/mkdir -p '/build/reproducible-path/mona-1.4-18/debian/mona/usr/bin'
-  /bin/bash ../libtool   --mode=install /usr/bin/install -c dfa2dot gta2dot '/build/reproducible-path/mona-1.4-18/debian/mona/usr/bin'
+  /bin/sh ../libtool   --mode=install /usr/bin/install -c dfa2dot gta2dot '/build/reproducible-path/mona-1.4-18/debian/mona/usr/bin'
 libtool: install: /usr/bin/install -c dfa2dot /build/reproducible-path/mona-1.4-18/debian/mona/usr/bin/dfa2dot
 libtool: install: /usr/bin/install -c gta2dot /build/reproducible-path/mona-1.4-18/debian/mona/usr/bin/gta2dot
 make[3]: Nothing to be done for 'install-data-am'.
@@ -942,8 +978,8 @@
    dh_gencontrol
    dh_md5sums
    dh_builddeb
-dpkg-deb: building package 'mona-dbgsym' in '../mona-dbgsym_1.4-18-1_armhf.deb'.
 dpkg-deb: building package 'mona' in '../mona_1.4-18-1_armhf.deb'.
+dpkg-deb: building package 'mona-dbgsym' in '../mona-dbgsym_1.4-18-1_armhf.deb'.
  dpkg-genbuildinfo --build=binary -O../mona_1.4-18-1_armhf.buildinfo
  dpkg-genchanges --build=binary -O../mona_1.4-18-1_armhf.changes
 dpkg-genchanges: info: binary-only upload (no source code included)
@@ -951,12 +987,14 @@
 dpkg-buildpackage: info: binary-only upload (no source included)
 dpkg-genchanges: info: including full source code in upload
 I: copying local configuration
+I: user script /srv/workspace/pbuilder/23533/tmp/hooks/B01_cleanup starting
+I: user script /srv/workspace/pbuilder/23533/tmp/hooks/B01_cleanup finished
 I: unmounting dev/ptmx filesystem
 I: unmounting dev/pts filesystem
 I: unmounting dev/shm filesystem
 I: unmounting proc filesystem
 I: unmounting sys filesystem
 I: cleaning the build env 
-I: removing directory /srv/workspace/pbuilder/1891 and its subdirectories
-I: Current time: Fri Apr 12 16:26:02 -12 2024
-I: pbuilder-time-stamp: 1712982362
+I: removing directory /srv/workspace/pbuilder/23533 and its subdirectories
+I: Current time: Sat Apr 13 18:31:13 +14 2024
+I: pbuilder-time-stamp: 1712982673