fat: tweak make-fat-image.sh generated shell script