Update basics_installation.txt