c1a017826e
* tools/Makefile.am: Don't link with libibex. svn path=/trunk/; revision=16621
* tools/Makefile.am: Don't link with libibex. svn path=/trunk/; revision=16621