Comment by vaughan

Meanwhile Windows still struggles with getting files to the bin.