fix bad merge
Merge branch 'removepaths' of github.com:enso-lang/enso into removepaths