fix typo in filename used in sh port