Oops, that’s what happens when I make changes blindly. Odd that the Windows buildbot didn’t seem to have a problem with it, though.
Just checked in a fix (which is as simple as removing line 1905). Sorry for the nuisance.
EDIT: Oh dear! It looks like the Windows buildbot isn’t building with DX support at all currently, so that’s why this one slipped through without notice.