Fix error in source file cache preventing correct caching of identical sources