Fixes #5593: add property name for windows 2012