Use 32 bit debian box