Use default path settings on linux
Ignore *.oct files

Plus setting default push style for git