Fixes #5275: define the name for windows2012