Delete libprob.h