Issue #171: more doc and configure changes