0f3ba11
Revert "use the tarball provided by github" The problem now appears to be fixed upstream. This reverts commit 683be942e9200f0c63d4a4acd14afb9508dc3556.