Test: travis: use Ubuntu-friendly configure options
Travis would succeed anyway, but this avoids unnecessary error messages.