Fix #691 file_rec/git problem