Upload correct files during release step

We thought this was rather simple and self-evident, but we completely forgot
to check that we were uploading the correct filesto S3