athas/futhark-wc not found