Fix errors generated by configure.ac

These errors were actually harmless, but they're fixed now.