which seems to be accidentally committed in the previous commit judging from the cvs log message. This should fix INDEX builds.