fix download of Android SDK in linux with python 3.3. Closes #110