minor fixes to broken proofs about compile_prog

must have been broken by some recent changes to HOL?