Unbreak INDEX
Marking as BROKEN doesn't fix the INDEX build at all. This is really a workaround until we get a real fix.
Pointed out by: antonie