a comfortable way to manage ./configure options