Working version for 64-bit Linux, including binary!