Update 01_installation.dox