Update InstallHavanaForUbuntu12.md