Make sure that generated files are labeled as such (except in dofile(), for now)