On linux64 a 64-bit tinderbox build has to be downloaded (#138)