fix for CATSecVertexProducer.cc