Small fixes in the Linux installation