chmod 755 figlist      &&
chmod 755 showfigfonts &&

default_pre_install
