missing proof libs