We should consider different options for a Windows CI environment because ATM we only test it manually