Fix linux build; update .gitignore