Jenkins: setting up a the environment for a Windows/Microsoft compilation job