Updated the parameters list for ./configure