Fix configure on autotools 1.13.