Fix an issue when using Windows OS