Fix Savannah bug #31253. Patch submitted by an anonymous reporter. * configure: Use `awk' instead of `sed' to manipulate output of `ls -id'.