Actually fix the issue in the post-receive script.