Fixed a bug that  caused the github_release version checker to misbehave