Fix default PGHOME value in /usr/bin/proofgeneral.
Add index-core build.