%%% src_install

File \File{console} is installed here.
