* configure.bat: Add #define PROFILING to config.h.