corrects defective (include <file>) implementation