incompatibilities with objc++ compiler (i.e. due to type mismatch) corrected