Merge pull request #1727 from cdr/ext

Fix extension install path for CLI

Parents: 3140a0c , 9d0dcf3

Committed by GitHub <noreply@github.com> on 5/27/2020, 7:48:00 PM