fix compilation errors on Linux; more files added to .gitignore