Fix configure script after commit 490c43ea