index file for 8.0.1.2