optimaliser Windows-spilling