Que tal amigo ! debes leer un poco mas acerca de android !! No es necesario que modifiques el default !!! Yo tengo instalado android y wm6.5.3 . Visita xda developers y busca en forums nuestro equipo htc vogue (touch movilnet ) y encontraras , intrucciones y varias builds .
El android es una belleza pero no he logrado echar a andar el internet porque no he logrado dar con la configuracion correcta del APN .. !.
No es necesario que modifiques ni descarges ningun default.txt... Ve a Xda developers y busca ahi