maybe now git-ignore works...