Rename interactive_s3 to is3