gnomeos-contents: remove bashism from cleanup script

Not as nice as what was there previously, but compatibility has a
price...