Use galois repo (is it more official?)