Select right random number generator on windows
Update translations