FIX .gitignore wrongly ignoring some files