some fixes to make dlvhex compile under Mac OS X (it compiles now but does not run, something seems to be wrong with libtool)