[PATCH] Fix output of configure.ac