* configure.bat: New option --profile.