Fixed in new CCAPI implementation. OS support must implement
cc_int32 cci_os_ipc (
cc_int32 in_launch_server,
cci_stream_t in_request_stream,
cci_stream_t *out_reply_stream);
where in_launch_server determines whether or not the server is launched if not already running.