fix compiled prove builder; add source