Comment out Proclus index for now.