Fix for accidental exclusion of some new files