Sophie
/bin/sh
/usr/share/rpm-helper/add-shell pdksh $1 /bin/ksh
/usr/share/rpm-helper/del-shell pdksh $1 /bin/ksh