add Carmen proxy stub