r19 change configure option