Fixes in Eclipse project for Linux