Update configure based on b90f1baa.

configure.in was updated some months ago, but configure was never regenerated.  This is a minor patch to do so.