Delete libprob.cpp