Added insieme configure option.