Is there a compiled version of the miner for Linux?