Fixes for ensime. ALSO: must delete ensime*/*elc