changed some file names to match the names of the binaries actually out in s3