ignore instead of deleting pre-processed files (fixes #529)