xuchen-ethz/fast-snarf not found