Bugfixes to the deep index. spec-gcc now works, although is mysteriously slow.