updated: fresh linux binary (32-bit)