A possible fix for too-long command line in Windows