update manual to Ubuntu 12.04