Updating some symbols on Windows