diff --git a/ubuntu-15.10-install.sh b/ubuntu-15.10-install.sh
index b07984a516b96f4fb532a3398c103f21cf3b08f8..2c6c7e8c05a112ec9ae7b6df3cad51b07333054d 100755
--- a/ubuntu-15.10-install.sh
+++ b/ubuntu-15.10-install.sh
@@ -28,6 +28,9 @@ done
 make_install() {
   if $1; then
     sudo make install
+    # Or else the next non-sudo install will fail, because this generates some
+    # root owned files like install_manifest.txt under the build directory.
+    sudo chown -R "$USER" .
   else
     make install
   fi