Merging with remote

Add paths for TexLive manual installation.