but zinc_compile.py needs to read them from disk even for the targets it’s not compiling because they haven’t changed