make_index: Remove unneeded include

Submitted by:	David Demelier