up to fresh snapshot (20131210, git aeab41a)

old one did not recognize --platform argument to download_from_google_storage tool