ark: change toolchain to better one

Signed-off-by: Christian Schulthess <info@webcs.de>