Fix Linux install script; now functional. TODO: Debian package