remove all LoadPath commands

Needed to make it run under ProofGeneral