fix typo in filename used in sh port

This commit is contained in:
Rich Felker 2014-03-18 22:11:14 -04:00
commit 40d58b44d0