use correct file name for pinning spec