Update Linux installation documentation

docs/installation/linux.md

@@ -6,7 +6,7 @@ Supports Ubuntu 14.04, CentOS 7.1, and OS X 10.11.
 Once the package is installed, `powershell` will be in your path,
 ready to be launched from a terminal. It will read
 `~/.powershell/profile.ps1` for your user profile, and
-`/opt/microsoft/powershell/Microsoft.PowerShellCore_profile.ps1` for
+`/opt/microsoft/powershell/Microsoft.PowerShell_profile.ps1` for
 the host profile.
 
 Similarly, it will search `~/.powershell/Modules` and
@@ -20,32 +20,32 @@ Ubuntu 14.04
 ============
 
 Using a stock Ubuntu 14.04 image, download the
-`powershell_0.3.0-1_amd64.deb` file, and then execute the following:
+`powershell_0.4.0-1_amd64.deb` file, and then execute the following:
 
 ```sh
 sudo apt-get install libunwind8 libicu52
-sudo dpkg -i powershell_0.3.0-1_amd64.deb
+sudo dpkg -i powershell_0.4.0-1_amd64.deb
 ```
 
 CentOS 7.1
 ==========
 
 Using a stock CentOS 7.1 image, download the
-`powershell-0.3.0-1.x86_64.rpm` file, and then execute the following:
+`powershell-0.4.0-1.x86_64.rpm` file, and then execute the following:
 
 ```sh
-sudo yum install powershell-0.3.0-1.x86_64.rpm
+sudo yum install powershell-0.4.0-1.x86_64.rpm
 ```
 
 OS X 10.11
 ==========
 
-Using an OS X 10.11 machine, download the `powershell-0.3.0.pkg` file,
+Using an OS X 10.11 machine, download the `powershell-0.4.0.pkg` file,
 double-click it, and follow the prompts. Or install it from the
 terminal:
 
 ```sh
-sudo installer -pkg powershell-0.3.0.pkg -target /
+sudo installer -pkg powershell-0.4.0.pkg -target /
 ```
 
 Note that because OS X is a derivation of BSD, instead of `/opt`, the