Fixing .git-fixfiles script for changed directory name. Fixes issue #6119.