s3: fix the configure run