We should always download github files since the version could have changed

references #109