Work around bug in Autoconf 2.64 and earlier

Closes #502, I think.