configure.ac fix for double quotes in configure command-line