https://github.com/leanprover/elan/pull/99
leanprover/elan#99