It actually worked before too, but now we are sure! (and added another .gitignore)