Oops. Forgot to commit this when I made configure changes yesterday.