Fix server-start and buffer-kill in Windows.