//
// This file is in the Public Domain and comes with no warranty.
+#ifdef HAVE_CONFIG_H
+# include "config.h"
+#endif
+
#include <simgear/compiler.h>
#include <iostream>
#include <string>
#include <Main/fg_props.hxx>
#include <Main/util.hxx>
+using std::string;
// Use a bigger number to be more responsive, or a smaller number
// to be more sluggish.