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.