update dlvhex-common; fix configure problem under OS X