install-sh: no longer need this checked in: gnulib provides it