Fix ./configure, again...