Bruni you just found a bug. Disable tests should result in exactly the same binaries at end as test enabled. Now that is going to be tricky search for someone. Build with ./configure --disable-tests and without --disable-tests in theory the only difference should be missing files of the tests not built in the --disable-tests. There is a chance that --disable-tests is changing somewhere in active code it should not be. So fixing bugs.
