Fix tarball download The source site probably changed and the grep didn't work anymore. This version should be a bit more flexible, but let's see...
Fix tarball download The source site probably changed and the grep didn't work anymore. This version should be a bit more flexible, but let's see...