Ooops, add s3internal.h