fix typos in chpl_platform