Speed up tests on Windows

This reduces test duration from 120s to about 4s (!!). See #256