Fix Proof General location.