File needed by ./configure.