Give android-sdk-manager the information it needs (for travis).