Fix Linux install

Amend Makefile and .desktop file to enable customisation of
the name of the runtime.

Amend Makefile to copy the correct files to destination
directories.