Fixed binary name for gridc-ping