Fixed bugs due to ckfutures declarations in c++interface.h