re #179 Keep track of loaded files in a property of our own.