fix deploy_gh_pages script