fixed startup script

do not use skip_proofs when building pdf