add some extra configure flags on Travis