Fix bugs in linux install script