Remove make_index, no longer used since [4c50d9cdbb]