changes to allow for compilation in CCS