Fix ./configure parameters