Hopefully got it worked; fix #3
Do small tweaks in .gitignore