Changed order of wkreprog and wkpf since the latter now depends on the first.