* gitignore_global: dont ignore core