Prepare Linux Mint 13 for Android development