Rename CERTS to CERTFILE, allow for '.' character in file names
Rename CERTS to CERTFILE, allow for '.' character in file names

cmusatyalab/opendiamond,cmusatyalab/opendiamond,cmusatyalab/opendiamond,cmusatyalab/opendiamond,cmusatyalab/opendiamond