Fixed some small bugs; added generator of RmobTXT file