Fix/ressource leak

[mphschmitt]

Some files were opened but never closed. This causes a resource leaks, which can be problematic in long running processes such as hifiasm, and even can cause security problems. Here, it should not change anything, but is still removes warnings.