%%% src_install
New option \Opt{--prefix} is given to install into \Envar{D} for packaging.
