Fix compilation
Download compiler version for Eclipse, not bootstrap
Fix tests for navigation: use os line separators