Fixing stuff relating to supposed-to-be-ignored files