Final hack for for Jenkins.

Path to GitHubs bin dir cannot be evaluated on Jenkins SYSTEM-user on
Windows. Therefore the environment variable GITHUB_BIN_DIR is taken
into account.