Fix configure.ac for travis.