Bugfix for github download