Fix apt-get line to work on ubuntu 12.04

Change-Id: I7bbb4bafd1ed5446002956cea8293ed647a9cd8e