Correct generation of %files