Fix autoconf (and make travis-ci happy)