void addfileprovides(Pool *pool);