I have actually gotten it to work on Windows.

It was the unclosed streams, that caused Windows to not be able to
delete a workspace file.