diku-dk/install-futhark not found