update for flash filename in flashDFUSe.bat