Don't know where to extract pre-compiled tool chain(genode-10.08.tar.bz2)