Rename -d nowinstatcache to -d nostatcache; might become useful elsewhere (#787)
Merge pull request #789 from nico/dontwin

Rename -d nowinstatcache to -d nostatcache; might become useful elsewhere (#787)