Implement RecordProperties::mkGroundTerm().  Resolves bug #546.
fixed build failure