Documentation on building exes with Proof Pad