Fix configure under linux.