Update push-docs-to-s3.py

Maybe fixes #429...