removed dead configure option for 1.2