In Workstation 12.5, the problem persists.

A workaround is to use non-buffered copy mode.

In Win7+ guests, xcopy /j can be used.

In XP, copywobuf utility can copy a single file. To copy a directory tree, a simple CMD script (with for /r) can be used.