make tests work on both Linux and Windows