Update instruction for Ubuntu 13.04.