Fix bug in the computation of file keys