fix docu as tomdroid 0.7.3 is already out and the hacks are not necessary any more