Unfortunate work-around for github being lame