fixing some compiler errors in CCS