Patch: build bug

Il y avait un bug lors du build pour windows. Ceci a été réglé. De plus, le déploiement automatique du build sur la release GitHub pour Windows a été ajustée.