Howto run CHANOS on a linux PC