Tinderbox linux64 downloads linux32 build fixed (#138)

This pull addresses Issue #138

Sorry for the hassle, whimboo.

Here is the pull one more time. Hopefully, it works now.