Added another property used by the newest ctestrunner.