usr/bin/elan usr/bin/lean
usr/bin/elan usr/bin/leanpkg
usr/bin/elan usr/bin/leanchecker
usr/bin/elan usr/bin/leanc
usr/bin/elan usr/bin/leanmake
