Update manual_installation_havana.rst