We now compute the filename

Also, beginnings of AWS upload.