paulscottrobson/lean not found