Actually use sh instead of csh to run postinstall.sh.