I downloaded the LinuxCoin OS; I'm trying to figure out the terminal command to mine with my gpu's