[help-gnubatch] Problem with installing on ubuntu 12.10

[Alex Jackson]

I have been trying to install gnubatch versions 1.6 and 1.7 on ubuntu 12.10. It is failing on the command:

sudo make install

which is giving:

[ -f /usr/local/etc/gnubatch.hosts ] || /usr/bin/install -c -o root -m 644 gnubatch.hosts /usr/local/etc

false || /usr/local/bin/gbch-uchange -R

/usr/local/bin/gbch-uchange: error while loading shared libraries: libgnubatch_int.so.1: cannot open shared object file: No such file or directory

make: *** [install] Error 127

I have run ldd on /usr/local/lib/libgnubatch_int.so.1 and all seems alright:

        linux-gate.so.1 =>  (0xb7769000)

        libc.so.6 => /lib/i386-linux-gnu/libc.so.6 (0xb759c000)

        /lib/ld-linux.so.2 (0xb776a000)

Any guidance would be greatly appreciated.