Small improvements to post_deploy_actions.bash