I came from china, so can't download the default box from amazon S3. Is it special or can I use other ubuntu 12.04 instead?