better autoconf and travis stuff