Renamed libco.h to libco.hppp