make install DESTDIR=$INSTALL_ROOT &&
### /bin/sed is "protected" but it is from an "old" install
### just incase it has been removed I copy it first
### so the cast will complete.
if  [ -f ${INSTALL_ROOT}/usr/bin/sed ] ; then
  install -m 0755 sed/sed $INSTALL_ROOT/bin/sed
fi
